ClassDef(String name, Occurrence occ, ClassDef superClass, JavaVector interfaces, ScopedDef parentScope) {  super(name, occ, parentScope);   if (superClass != null) { this.superClass = superClass; }   this.interfaces = interfaces;
public ClassDef() {
    ClassDef(String name, // thhe name of the class             Occurrence occ, // where it was defined             ClassDef superClass, // its superclass (if applicable)             JavaVector interfaces, // interfaces that it implements             ScopedDef parentScope) {    // which scope owns it        super(name, occ, parentScope);        // if a superclass was specified, set it        if (superClass != null) {            this.superClass = superClass;        }        // keep track of implemented interfaces        this.interfaces = interfaces;    }