165166167168169170171172173174175
if (tx == null) return null; if (!tx.activated()) { tx.recover(); return tx; } else return tx;