Program: 19678
Project: 19678
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");
    AudioInputStream ais=AudioSystem.getAudioInputStream(audioFileURL);
    reader.setInputStream(ais,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");
    }
 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");
    AudioInputStream ais=AudioSystem.getAudioInputStream(audioFileURL);
    reader.setInputStream(ais,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");
    }
 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();
  }
}