304305306307308309310311312313314
// Change class inheritance for (Iterator e = classes.iterator(); e.hasNext();) { ClassControl cc = (ClassControl)e.next(); //@olsen: subst: augmentInterfaces -> augment cc.augment(); if (false) { dumpClass(cc); } }
307308309310311312313314315316317