public Vector<Option> enumToVector(Enumeration<Option> enu){
  Vector<Option> options=new Vector<Option>();
  options.addAll(Collections.list(enu));
  return options;
}

public Vector < Option > enumToVector ( Enumeration < Option > enu ) { Vector < Option > options = new Vector < Option > ( ) ; options . addAll ( Collections . list ( enu ) ) ; return options ; }
convenience method . turns the given enumeration of options into a vector .
