Nested Monitor Demonstration

This version of the bounded buffer monitor uses semaphores instead of Java conditional synchronization. Can you get it to deadlock?

NestedMonitor.java