Program: 9510
Project: 9510
Buggy source:
/** 
 * This is only to do compile-time checking for the APIs impliedly used in setupDigester(..). The property setter checks are redundant with tests based on expectedProperties().
 */
private static void setupDigesterCompileTimeCheck(){
  if (true) {
    throw new Error("String_Node_Str");
  }
  AjcTest.Suite.Spec suite=new AjcTest.Suite.Spec();
  AjcTest.Spec test=new AjcTest.Spec();
  Sandbox sandbox=null;
  Validator validator=null;
  CompilerRun.Spec crunSpec=new CompilerRun.Spec();
  crunSpec.addMessage((IMessage)null);
  crunSpec.addWrapFile((AbstractRunSpec.WrapFile)null);
  crunSpec.setOptions((String)null);
  crunSpec.setPaths((String)null);
  crunSpec.setIncludeClassesDir(false);
  crunSpec.setReuseCompiler(false);
  crunSpec.setXlintfile((String)null);
  IncCompilerRun.Spec icrunSpec=new IncCompilerRun.Spec();
  icrunSpec.addMessage((IMessage)null);
  icrunSpec.setTag((String)null);
  icrunSpec.setFresh(false);
  JavaRun.Spec jrunspec=new JavaRun.Spec();
  jrunspec.addMessage((IMessage)null);
  jrunspec.setClassName((String)null);
  jrunspec.addMessage((IMessage)null);
  jrunspec.setSkipTester(true);
  jrunspec.setErrStreamIsError(true);
  jrunspec.setOutStreamIsError(true);
  DirChanges.Spec dcspec=new DirChanges.Spec();
  dcspec.setAdded((String)null);
  dcspec.setRemoved((String)null);
  dcspec.setUpdated((String)null);
  dcspec.setDefaultSuffix((String)null);
  dcspec.setDirToken((String)null);
  SoftMessage m=new SoftMessage();
  m.setSourceLocation((ISourceLocation)null);
  m.setText((String)null);
  m.setKindAsString((String)null);
  m.setDetails((String)null);
  SoftSourceLocation sl=new SoftSourceLocation();
  sl.setFile((String)null);
  sl.setLine((String)null);
  sl.setColumn((String)null);
  sl.setEndLine((String)null);
}

Fixed version (ground truth):
/** 
 * This is only to do compile-time checking for the APIs impliedly used in setupDigester(..). The property setter checks are redundant with tests based on expectedProperties().
 */
private static void setupDigesterCompileTimeCheck(){
  if (true) {
    throw new Error("String_Node_Str");
  }
  AjcTest.Suite.Spec suite=new AjcTest.Suite.Spec();
  AjcTest.Spec test=new AjcTest.Spec();
  Sandbox sandbox=null;
  Validator validator=null;
  CompilerRun.Spec crunSpec=new CompilerRun.Spec();
  crunSpec.addMessage((IMessage)null);
  crunSpec.addWrapFile((AbstractRunSpec.WrapFile)null);
  crunSpec.setOptions((String)null);
  crunSpec.setPaths((String)null);
  crunSpec.setIncludeClassesDir(false);
  crunSpec.setReuseCompiler(false);
  crunSpec.setXlintfile((String)null);
  crunSpec.setOutjar((String)null);
  IncCompilerRun.Spec icrunSpec=new IncCompilerRun.Spec();
  icrunSpec.addMessage((IMessage)null);
  icrunSpec.setTag((String)null);
  icrunSpec.setFresh(false);
  JavaRun.Spec jrunspec=new JavaRun.Spec();
  jrunspec.addMessage((IMessage)null);
  jrunspec.setClassName((String)null);
  jrunspec.addMessage((IMessage)null);
  jrunspec.setSkipTester(true);
  jrunspec.setErrStreamIsError(true);
  jrunspec.setOutStreamIsError(true);
  DirChanges.Spec dcspec=new DirChanges.Spec();
  dcspec.setAdded((String)null);
  dcspec.setRemoved((String)null);
  dcspec.setUpdated((String)null);
  dcspec.setDefaultSuffix((String)null);
  dcspec.setDirToken((String)null);
  SoftMessage m=new SoftMessage();
  m.setSourceLocation((ISourceLocation)null);
  m.setText((String)null);
  m.setKindAsString((String)null);
  m.setDetails((String)null);
  SoftSourceLocation sl=new SoftSourceLocation();
  sl.setFile((String)null);
  sl.setLine((String)null);
  sl.setColumn((String)null);
  sl.setEndLine((String)null);
}