Program: 75810
Project: 75810
Buggy source:
/** 
 * Do pass 3 transformation of actor with the given filename (renamed after pass 1). Pass 3 is the conversion of Extended Java to ordinary Java.
 */
public void pass3(String sourceName){
  File sourceFile;
  try {
    sourceFile=SearchPath.NAMED_PATH.openSource(sourceName);
  }
 catch (  IOException e) {
    throw new RuntimeException("String_Node_Str" + sourceName + "String_Node_Str"+ e);
  }
  String filename=sourceFile.toString();
  System.out.println("String_Node_Str" + "String_Node_Str" + filename + "String_Node_Str");
  TypeVisitor oldTypeVisitor=StaticResolution.getDefaultTypeVisitor();
  StaticResolution.setDefaultTypeVisitor(new TypeVisitor(new ExtendedJavaTypePolicy()));
  LinkedList[] listArray=_makeUnitList(filename,StringManip.unqualifiedPart(sourceName));
  LinkedList unitList=listArray[0];
  Iterator unitItr=unitList.iterator();
  CompileUnitNode unitNode;
  ExtendedJavaConverter ejConverter=new ExtendedJavaConverter();
  while (unitItr.hasNext()) {
    unitNode=(CompileUnitNode)unitItr.next();
    unitNode.accept(ejConverter,null);
  }
  LinkedList classNameList=listArray[1];
  _rewriteSources(unitList,classNameList);
  _invalidateSources(classNameList,2);
  StaticResolution.setDefaultTypeVisitor(oldTypeVisitor);
  Iterator classNameItr=classNameList.iterator();
  LinkedList importFilteredList=new LinkedList();
  while (classNameItr.hasNext()) {
    String className=(String)classNameItr.next();
    System.out.println("String_Node_Str" + "String_Node_Str" + className + "String_Node_Str");
    File file;
    try {
      file=SearchPath.NAMED_PATH.openSource(className);
    }
 catch (    IOException e) {
      throw new RuntimeException("String_Node_Str" + className + "String_Node_Str"+ e);
    }
    unitNode=StaticResolution.loadFile(file,2);
    unitNode.accept(new FindExtraImportsVisitor(true,null),null);
    importFilteredList.add(unitNode);
  }
  _rewriteSources(importFilteredList,classNameList);
  _invalidateSources(classNameList,2);
}

Fixed version (ground truth):
/** 
 * Do pass 3 transformation of actor with the given filename (renamed after pass 1). Pass 3 is the conversion of Extended Java to ordinary Java.
 */
public void pass3(String sourceName){
  File sourceFile;
  try {
    sourceFile=SearchPath.NAMED_PATH.openSource(sourceName);
  }
 catch (  IOException e) {
    throw new RuntimeException("String_Node_Str" + sourceName + "String_Node_Str"+ e);
  }
  String filename=sourceFile.toString();
  System.out.println("String_Node_Str" + "String_Node_Str" + filename + "String_Node_Str");
  TypeVisitor oldTypeVisitor=StaticResolution.getDefaultTypeVisitor();
  StaticResolution.setDefaultTypeVisitor(new TypeVisitor(new ExtendedJavaTypePolicy()));
  LinkedList[] listArray=_makeUnitList(filename,StringManip.unqualifiedPart(sourceName));
  LinkedList unitList=listArray[0];
  Iterator unitItr=unitList.iterator();
  CompileUnitNode unitNode;
  ExtendedJavaConverter ejConverter=new ExtendedJavaConverter();
  while (unitItr.hasNext()) {
    unitNode=(CompileUnitNode)unitItr.next();
    unitNode.accept(ejConverter,null);
  }
  LinkedList classNameList=listArray[1];
  _rewriteSources(unitList,classNameList);
  _invalidateSources(classNameList,2);
  StaticResolution.setDefaultTypeVisitor(oldTypeVisitor);
  Iterator classNameItr=classNameList.iterator();
  LinkedList importFilteredList=new LinkedList();
  while (classNameItr.hasNext()) {
    String className=(String)classNameItr.next();
    System.out.println("String_Node_Str" + "String_Node_Str" + className + "String_Node_Str");
    File file;
    try {
      file=SearchPath.NAMED_PATH.openSource(className);
    }
 catch (    IOException e) {
      throw new RuntimeException("String_Node_Str" + className + "String_Node_Str"+ e);
    }
    unitNode=StaticResolution.loadFile(file,2,className);
    unitNode.accept(new FindExtraImportsVisitor(true,null),null);
    importFilteredList.add(unitNode);
  }
  _rewriteSources(importFilteredList,classNameList);
  _invalidateSources(classNameList,2);
}