newVector.addElement(new Option("\tShow Rules", "D", 0, "-D"));
newVector.addElement(new Option("\tShow Rules", "Y", 0, "-Y"));
  public Enumeration listOptions() {    Vector newVector = new Vector(3);    newVector.addElement(new Option("\tSet vigilance parameter rhoa.", "R", 1,                                    "-R"));    newVector.addElement(new Option("\tSet boundaries File", "B", 1, "-B"));    newVector.addElement(new Option("\tShow Rules", "D", 0, "-D"));    return newVector.elements();  } //listOptions