7576777879808182838485
synchronized (waitObject_) { long start = System.currentTimeMillis(); long waitTime = tv.getMilliTime() - start; if (waitTime < 1) throw new TimeoutException (); waitObject_.wait (waitTime); } mutex_.acquire (tv); }