Program: 19682
Project: 19682
Buggy source:
/** 
 * Main method for running the LatticeDumpTest demo.
 */
public static void main(String[] args){
  try {
    URL audioFileURL;
    if (args.length > 0) {
      audioFileURL=new File(args[0]).toURI().toURL();
    }
 else {
      audioFileURL=new File("String_Node_Str").toURI().toURL();
    }
    URL configURL=new File("String_Node_Str").toURI().toURL();
    System.out.println("String_Node_Str");
    ConfigurationManager cm=new ConfigurationManager(configURL);
    Recognizer recognizer=(Recognizer)cm.lookup("String_Node_Str");
    recognizer.allocate();
    StreamDataSource reader=(StreamDataSource)cm.lookup("String_Node_Str");
    reader.setInputStream(AudioSystem.getAudioInputStream(audioFileURL),audioFileURL.getFile());
    Result result=recognizer.recognize();
    if (result != null) {
      System.out.println("String_Node_Str" + result.getBestFinalResultNoFiller() + "String_Node_Str");
      Lattice lattice=new Lattice(result);
      LatticeOptimizer lo=new LatticeOptimizer(lattice);
      lo.optimize();
      lattice.dumpAISee("String_Node_Str","String_Node_Str");
      float lmw=(float)7.0;
      try {
        lmw=cm.getPropertySheet("String_Node_Str").getFloat("String_Node_Str",(float)7.0);
      }
 catch (      PropertyException e1) {
        System.err.println("String_Node_Str" + lmw);
      }
      lattice.computeNodePosteriors(lmw);
      try {
        SausageMaker sm=new SausageMaker(lattice);
        Sausage sausage=sm.makeSausage();
        System.out.println("String_Node_Str" + sausage.getBestHypothesisString() + "String_Node_Str");
        sausage.dumpAISee("String_Node_Str","String_Node_Str");
        System.out.println("String_Node_Str");
      }
 catch (      Exception e) {
        System.err.println("String_Node_Str");
        e.printStackTrace();
      }
    }
 else {
      System.out.println("String_Node_Str");
    }
  }
 catch (  IOException e) {
    System.err.println("String_Node_Str" + e);
    e.printStackTrace();
  }
catch (  PropertyException e) {
    System.err.println("String_Node_Str" + e);
    e.printStackTrace();
  }
catch (  InstantiationException e) {
    System.err.println("String_Node_Str" + e);
    e.printStackTrace();
  }
catch (  UnsupportedAudioFileException e) {
    System.err.println("String_Node_Str" + e);
    e.printStackTrace();
  }
}

Fixed version (ground truth):
/** 
 * Main method for running the LatticeDumpTest demo.
 */
public static void main(String[] args){
  try {
    URL audioFileURL;
    if (args.length > 0) {
      audioFileURL=new File(args[0]).toURI().toURL();
    }
 else {
      audioFileURL=new File("String_Node_Str").toURI().toURL();
    }
    URL configURL=new File("String_Node_Str").toURI().toURL();
    System.out.println("String_Node_Str");
    ConfigurationManager cm=new ConfigurationManager(configURL);
    Recognizer recognizer=(Recognizer)cm.lookup("String_Node_Str");
    recognizer.allocate();
    StreamDataSource reader=(StreamDataSource)cm.lookup("String_Node_Str");
    reader.setInputStream(AudioSystem.getAudioInputStream(audioFileURL),audioFileURL.getFile());
    Result result=recognizer.recognize();
    if (result != null) {
      System.out.println("String_Node_Str" + result.getBestFinalResultNoFiller() + "String_Node_Str");
      Lattice lattice=new Lattice(result);
      LatticeOptimizer lo=new LatticeOptimizer(lattice);
      lo.optimize();
      lattice.dumpAISee("String_Node_Str","String_Node_Str");
      float lmw=(float)7.0;
      try {
        lmw=cm.getPropertySheet("String_Node_Str").getFloat("String_Node_Str");
      }
 catch (      PropertyException e1) {
        System.err.println("String_Node_Str" + lmw);
      }
      lattice.computeNodePosteriors(lmw);
      try {
        SausageMaker sm=new SausageMaker(lattice);
        Sausage sausage=sm.makeSausage();
        System.out.println("String_Node_Str" + sausage.getBestHypothesisString() + "String_Node_Str");
        sausage.dumpAISee("String_Node_Str","String_Node_Str");
        System.out.println("String_Node_Str");
      }
 catch (      Exception e) {
        System.err.println("String_Node_Str");
        e.printStackTrace();
      }
    }
 else {
      System.out.println("String_Node_Str");
    }
  }
 catch (  IOException e) {
    System.err.println("String_Node_Str" + e);
    e.printStackTrace();
  }
catch (  PropertyException e) {
    System.err.println("String_Node_Str" + e);
    e.printStackTrace();
  }
catch (  UnsupportedAudioFileException e) {
    System.err.println("String_Node_Str" + e);
    e.printStackTrace();
  }
}