Changes in the Java API

Three classes have been renamed:
These classes implement the standard java.util.Enumeration interface and inherit from the java.lang.Vector class. A user may use either of those to navigate through the elements contained in an enumeration.