I should be guaranteed that the monitor is released when code exits a synchronized method, but something isn't quite right here, and I don't know anything about the internals of how object ...

In my Java-based monitor package I’ve provided a better solution, wherein each assertion may be represented by an object. Classes representing assertions are created by subclassing Assertion and ...