fl.classicFlags(c.flags());
    public ClassDecl handleClassDecl(FlagAnnotations fl, ClassDecl c){        return ((JL5ClassDecl)((JL5ClassDecl)c).flags(fl.classicFlags())).annotations(fl.annotations());    }