Beispiel #1
0
 /** Release the latch on this node. */
 public void releaseLatchIfOwner() throws LatchNotHeldException {
   latch.releaseIfOwner();
 }