Update RDFSEnum.java