code: synchronized void rel_monitor() {
  	Util.out4.println("In rel_monitor(), used = " + used + ", ctr = " + locked_ctr);
  	if (used == true) {
  	    locked_ctr--;
  	    if (locked_ctr == 0) {
  		Util.out4.println("Signalling !");
  		used = false;
  		// locking_thread = NULL;
  		notify();
  	    }
  	}
      }
docs: ===============================================================