@Override public Enumeration<Option> listOptions(){
  Enumeration<Option> superOpts=super.listOptions();
  Vector<Option> newVector=new Vector<Option>();
  while (superOpts.hasMoreElements()) {
    newVector.addElement(superOpts.nextElement());
  }
  newVector.addElement(new Option("\tSave instances at the nodes in\n" + "\tthe tree (for visualization purposes)","L",0,"-L"));
  return newVector.elements();
}

@ Override public Enumeration < Option > listOptions ( ) { Enumeration < Option > superOpts = super . listOptions ( ) ; Vector < Option > newVector = new Vector < Option > ( ) ; while ( superOpts . hasMoreElements ( ) ) { newVector . addElement ( superOpts . nextElement ( ) ) ; } newVector . addElement ( new Option ( "\tSave instances at the nodes in\n" + "\tthe tree (for visualization purposes)" , "L" , 0 , "-L" ) ) ; return newVector . elements ( ) ; }
returns an enumeration describing the available options
