/** @return a string identifying this latch, as well as its state */
 @Override
 public String toString() {
   return "(Stoppable) " + latch.toString();
 }