newVector.addElement(new Option("The input file", "i", 1, "-i <the input file>"));
result.addElement(new Option( "The class index", "c", 1, "-c <the class index>"));
  public Enumeration listOptions() {    FastVector newVector = new FastVector(3);    newVector.addElement(new Option("The input file", "i", 1, 				    "-i <the input file>"));        newVector.addElement(new Option("The output file", "o", 1, 				    "-o <the output file>"));        newVector.addElement(new Option("The class index", "c", 1, 				    "-c <the class index>"));        return newVector.elements();  }