+ ".weka.experiment.GenericObjectEditor\n"
+ PROPERTY_FILE + "\n"
  protected Vector getClassesFromProperties() {        Vector classes = new Vector();    String className = m_ClassType.getName();    String typeOptions = EDITOR_PROPERTIES.getProperty(className);    if (typeOptions == null) {      System.err.println("No configuration property found in\n"			 + ".weka.experiment.GenericObjectEditor\n"			 + "for " + className);    } else {      StringTokenizer st = new StringTokenizer(typeOptions, ", ");      while (st.hasMoreTokens()) {	String current = st.nextToken().trim();	if (false) {	  // Verify that class names are OK. Slow -- with Java2 we could	  // try Class.forName(current, false, getClass().getClassLoader());	  try {	    Class c = Class.forName(current);	    classes.addElement(current);	  } catch (Exception ex) {	    System.err.println("Couldn't find class with name" + current);	  }	} else {	  classes.addElement(current);	}      }    }    return classes;  }