docs: public Enumeration enumerateMeasures() {
      Vector<String> newVector = new Vector<String>();
      newVector.addElement("measureTreeSize");
      newVector.addElement("measureNumLeaves");
      newVector.addElement("measureMaxDepth");
      return newVector.elements();
    }