public void jimplify1phase2() {
SootClass sc = getSootClassDecl();
sc.setResolvingLevel(SootClass.DANGLING);
sc.setModifiers(sootTypeModifiers());
sc.setApplicationClass();
SourceFileTag st = new soot.tagkit.SourceFileTag(sourceNameWithoutPath());
st.setAbsolutePath(new File(sourceFile()).getAbsolutePath());
sc.addTag(st);
sc.setSuperclass(typeObject().getSootClassDecl());
for(Iterator iter = superinterfacesIterator(); iter.hasNext(); ) {
TypeDecl typeDecl = (TypeDecl)iter.next();
if(typeDecl != typeObject() && !sc.implementsInterface(typeDecl.getSootClassDecl().getName()))