"C", 1, "-C <int>"));  Enumeration en = super.listOptions(); while (en.hasMoreElements()) result.addElement(en.nextElement());
"c", 1, "-c <class index>"));
  public Enumeration listOptions() {    Vector      result;        result = new Vector();        result.addElement(        new Option(            "\tThe class index\n"            + "\t(default: last)",            "C", 1, "-C <int>"));        Enumeration en = super.listOptions();    while (en.hasMoreElements())      result.addElement(en.nextElement());        return result.elements();  }