Re: [infinispan-dev] TxRecovery design update