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