Program: 11065
Project: 11065
Buggy source:
private static void writeELM(Path inPath,Path outPath,Format format,boolean dateRangeOptimizations,boolean annotations,boolean verifyOnly) throws IOException {
  ArrayList<Options> options=new ArrayList<>();
  if (dateRangeOptimizations) {
    options.add(Options.EnableDateRangeOptimization);
  }
  if (annotations) {
    options.add(Options.EnableAnnotations);
  }
  System.err.println("String_Node_Str");
  System.err.printf("String_Node_Str",inPath);
  LibraryManager libraryManager=new LibraryManager();
  libraryManager.getLibrarySourceLoader().registerProvider(new DefaultLibrarySourceProvider(inPath.getParent()));
  CqlTranslator translator=fromFile(inPath.toFile(),libraryManager,options.toArray(new Options[options.size()]));
  libraryManager.getLibrarySourceLoader().clearProviders();
  if (translator.getErrors().size() > 0) {
    System.err.println("String_Node_Str");
    for (    CqlTranslatorException error : translator.getErrors()) {
      TrackBack tb=error.getLocator();
      String lines=tb == null ? "String_Node_Str" : String.format("String_Node_Str",tb.getStartLine(),tb.getStartChar(),tb.getEndLine(),tb.getEndChar());
      System.err.printf("String_Node_Str",lines,error.getMessage());
    }
  }
 else   if (!verifyOnly) {
    try (PrintWriter pw=new PrintWriter(outPath.toFile(),"String_Node_Str")){
switch (format) {
case COFFEE:
        pw.print("String_Node_Str");
      pw.println(translator.toJson());
    break;
case JSON:
  pw.println(translator.toJson());
break;
case XML:
default :
pw.println(translator.toXml());
}
pw.println();
}
 }
System.err.println();
}

Fixed version (ground truth):
private static void writeELM(Path inPath,Path outPath,Format format,boolean dateRangeOptimizations,boolean annotations,boolean verifyOnly,boolean detailedErrors) throws IOException {
  ArrayList<Options> options=new ArrayList<>();
  if (dateRangeOptimizations) {
    options.add(Options.EnableDateRangeOptimization);
  }
  if (annotations) {
    options.add(Options.EnableAnnotations);
  }
  if (detailedErrors) {
    options.add(Options.EnableDetailedErrors);
  }
  System.err.println("String_Node_Str");
  System.err.printf("String_Node_Str",inPath);
  LibraryManager libraryManager=new LibraryManager();
  libraryManager.getLibrarySourceLoader().registerProvider(new DefaultLibrarySourceProvider(inPath.getParent()));
  CqlTranslator translator=fromFile(inPath.toFile(),libraryManager,options.toArray(new Options[options.size()]));
  libraryManager.getLibrarySourceLoader().clearProviders();
  if (translator.getErrors().size() > 0) {
    System.err.println("String_Node_Str");
    for (    CqlTranslatorException error : translator.getErrors()) {
      TrackBack tb=error.getLocator();
      String lines=tb == null ? "String_Node_Str" : String.format("String_Node_Str",tb.getStartLine(),tb.getStartChar(),tb.getEndLine(),tb.getEndChar());
      System.err.printf("String_Node_Str",lines,error.getMessage());
    }
  }
 else   if (!verifyOnly) {
    try (PrintWriter pw=new PrintWriter(outPath.toFile(),"String_Node_Str")){
switch (format) {
case COFFEE:
        pw.print("String_Node_Str");
      pw.println(translator.toJson());
    break;
case JSON:
  pw.println(translator.toJson());
break;
case XML:
default :
pw.println(translator.toXml());
}
pw.println();
}
 }
System.err.println();
}