eliminating useless TransactionalObject.lockWrite() method parameter
removing duplicit assert calls
Eliminating TransactionalObject.writeLocked() method parameter.
eliminating slow wait-and-notify mechanism from TransactionalObject - first thread that enters synchronized section configures cleaner