public Enumeration<String> enumerateMeasures(){
  Vector<String> newVector=new Vector<String>();
  newVector.addElement("measureTreeSize");
  newVector.addElement("measureNumLeaves");
  newVector.addElement("measureMaxDepth");
  if (m_Stats != null) {
    newVector.addAll(Collections.list(m_Stats.enumerateMeasures()));
  }
  return newVector.elements();
}

public Enumeration < String > enumerateMeasures ( ) { Vector < String > newVector = new Vector < String > ( ) ; newVector . addElement ( "measureTreeSize" ) ; newVector . addElement ( "measureNumLeaves" ) ; newVector . addElement ( "measureMaxDepth" ) ; if ( m_Stats != null ) { newVector . addAll ( Collections . list ( m_Stats . enumerateMeasures ( ) ) ) ; } return newVector . elements ( ) ; }
returns an enumeration of the additional measure names .
