super.checkClassConformance(ct);
else { super.checkClassConformance(ct); }
    public void checkClassConformance(ClassType ct) throws SemanticException {           if (JL5Flags.isEnumModifier(ct.flags())){            // check enums elsewhere - have to do something special with            // abstract methods and anon enum element bodies            //return;        }        super.checkClassConformance(ct);     }