System.err.println("Before: "+newVector.toString());
  public Enumeration listOptions() {    Vector newVector = new Vector();    System.err.println("Before: "+newVector.toString());    newVector.addElement(new Option("\tSet minimal width of a box\n"+                                    "\t(default = 1.0E-2).",				    "W", 0,"-W <value>"));    newVector.addElement(new Option("\tMaximal number of instances in a leaf\n"+                                    "\t(default = 40).",				    "L", 0,"-L"));    newVector.addElement(new Option("\tNormalizing will be done\n"+                                    "\t(Select dimension for split, with "+                                    "normalising to universe).", "N", 0,"-N"));    System.err.println("After: "+newVector.toString());     return newVector.elements();  }