Program: 19690
Project: 19690
Buggy source:
/** 
 * Main method for running the Lattice demo. 
 */
public static void main(String[] args){
  try {
    URL audioURL;
    if (args.length > 0) {
      audioURL=new File(args[0]).toURI().toURL();
    }
 else {
      audioURL=LatticeDemo.class.getResource("String_Node_Str");
    }
    URL url;
    if (args.length > 0) {
      url=new File(args[0]).toURI().toURL();
    }
 else {
      url=LatticeDemo.class.getResource("String_Node_Str");
    }
    System.out.println("String_Node_Str");
    ConfigurationManager cm=new ConfigurationManager(url);
    Recognizer recognizer=(Recognizer)cm.lookup("String_Node_Str");
    recognizer.allocate();
    AudioInputStream ais=AudioSystem.getAudioInputStream(audioURL);
    StreamDataSource reader=(StreamDataSource)cm.lookup("String_Node_Str");
    reader.setInputStream(ais,audioURL.getFile());
    boolean done=false;
    while (!done) {
      Result result=recognizer.recognize();
      if (result != null) {
        Lattice lattice=new Lattice(result);
        LatticeOptimizer optimizer=new LatticeOptimizer(lattice);
        optimizer.optimize();
        lattice.dumpAllPaths();
        String resultText=result.getBestResultNoFiller();
        System.out.println("String_Node_Str" + resultText + "String_Node_Str");
      }
 else {
        done=true;
      }
    }
  }
 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.printStackTrace();
  }
}

Fixed version (ground truth):
/** 
 * Main method for running the Lattice demo. 
 */
public static void main(String[] args){
  try {
    URL audioURL;
    if (args.length > 0) {
      audioURL=new File(args[0]).toURI().toURL();
    }
 else {
      audioURL=LatticeDemo.class.getResource("String_Node_Str");
    }
    URL url;
    if (args.length > 0) {
      url=new File(args[0]).toURI().toURL();
    }
 else {
      url=LatticeDemo.class.getResource("String_Node_Str");
    }
    System.out.println("String_Node_Str");
    ConfigurationManager cm=new ConfigurationManager(url);
    Recognizer recognizer=(Recognizer)cm.lookup("String_Node_Str");
    recognizer.allocate();
    AudioInputStream ais=AudioSystem.getAudioInputStream(audioURL);
    StreamDataSource reader=(StreamDataSource)cm.lookup("String_Node_Str");
    reader.setInputStream(ais,audioURL.getFile());
    boolean done=false;
    while (!done) {
      Result result=recognizer.recognize();
      if (result != null) {
        Lattice lattice=new Lattice(result);
        LatticeOptimizer optimizer=new LatticeOptimizer(lattice);
        optimizer.optimize();
        lattice.dumpAllPaths();
        String resultText=result.getBestResultNoFiller();
        System.out.println("String_Node_Str" + resultText + "String_Node_Str");
      }
 else {
        done=true;
      }
    }
  }
 catch (  IOException e) {
    System.err.println("String_Node_Str" + e);
    throw new RuntimeException(e);
  }
catch (  PropertyException e) {
    System.err.println("String_Node_Str" + e);
    throw new RuntimeException(e);
  }
catch (  UnsupportedAudioFileException e) {
    System.err.println("String_Node_Str");
    throw new RuntimeException(e);
  }
}