JSTPTransactionManager: more detailed specs