docs: public int getNumDeliverable() {
          NumDeliverable visitor=new NumDeliverable();
          lock.lock();
          try {
              forEach(hd+1, hr, visitor);
              return visitor.getResult();
          }
          finally {
              lock.unlock();
          }
      }