Added java.lang.Enum as a superclass and the appropriate constructors