/DuplicateOptionNameException.java/1.2/Wed Aug  5 13:38:58 1998//
/OptionsColl.java/1.2/Wed Aug  5 13:38:59 1998//
/OptionsEvent.java/1.2/Wed Aug  5 13:38:59 1998//
/OptionsEventAdapter.java/1.2/Wed Aug  5 13:38:59 1998//
/OptionsSuper.java/1.2/Wed Aug  5 13:38:59 1998//
/OptionsSuperI.java/1.2/Wed Aug  5 13:38:59 1998//
