@Override public Enumeration listOptions() { Vector result = new Vector(); result.addElement(new Option("\t"+kTipText(), "k", 1, "-k <num>")); OptionUtils.add(result, super.listOptions()); return OptionUtils.toEnumeration(result); }
@Override public Enumeration listOptions() { Vector result = new Vector(); result.addElement(new Option("\t"+kTipText(), "k", 1, "-k <num>")); OptionUtils.add(result, super.listOptions()); return OptionUtils.toEnumeration(result); }