MODE-2336 Changed the way ModeShape deals with user transactions

Instead of using synchronizers which cannot be ordered with respects to ISPN's synchronizer that actually persists the data, ModeShape now uses an Infinispan transaction listener which will only be called once ISPN has processed the transaction.
This is the only way that ModeShape can be consistently notified only after ISPN has finished processing a transaction.
Minor detail: these exceptions are unused, so they can be removed from the declaration. (These actually generate warnings in some IDEs and could in checkstyle if we enabled the rule.)