Program: 167705
Project: 167705
Buggy source:
@Override public ModelNode buildRequestWithoutHeaders(CommandContext ctx) throws CommandFormatException {
  ParsedCommandLine args=ctx.getParsedCommandLine();
  final String path=this.path.getValue(args,true);
  final File archive;
  archive=new File(path);
  if (!archive.exists()) {
    throw new OperationFormatException("String_Node_Str" + archive.getAbsolutePath() + "String_Node_Str");
  }
  if (archive.isDirectory()) {
    throw new OperationFormatException(archive.getAbsolutePath() + "String_Node_Str");
  }
  File root;
  try {
    root=extractArchive(archive);
  }
 catch (  IOException e) {
    throw new OperationFormatException("String_Node_Str" + archive.getAbsolutePath() + "String_Node_Str");
  }
  ctx.setCurrentDir(root);
  String holdbackBatch=activateNewBatch(ctx);
  try {
    String script=this.script.getValue(args);
    if (script == null) {
      script="String_Node_Str";
    }
    File scriptFile=new File(ctx.getCurrentDir(),script);
    if (!scriptFile.exists()) {
      throw new CommandFormatException("String_Node_Str" + script + "String_Node_Str");
    }
    ctx.printLine("String_Node_Str" + script + "String_Node_Str");
    try (BufferedReader reader=Files.newBufferedReader(scriptFile.toPath(),StandardCharsets.UTF_8)){
      String line=reader.readLine();
      while (!ctx.isTerminated() && line != null) {
        ctx.handle(line);
        line=reader.readLine();
      }
    }
 catch (    FileNotFoundException e) {
      throw new CommandFormatException("String_Node_Str" + script + "String_Node_Str");
    }
catch (    IOException e) {
      throw new CommandFormatException(e.getMessage());
    }
catch (    CommandLineException e) {
      throw new CommandFormatException(e.getMessage());
    }
    ModelNode composite=ctx.getBatchManager().getActiveBatch().toRequest();
    return composite;
  }
  finally {
    ctx.setCurrentDir(new File("String_Node_Str"));
    discardBatch(ctx,holdbackBatch);
    recursiveDelete(root);
  }
}

Fixed version (ground truth):
@Override public ModelNode buildRequestWithoutHeaders(CommandContext ctx) throws CommandFormatException {
  ParsedCommandLine args=ctx.getParsedCommandLine();
  final String path=this.path.getValue(args,true);
  final File archive;
  archive=new File(path);
  if (!archive.exists()) {
    throw new OperationFormatException("String_Node_Str" + archive.getAbsolutePath() + "String_Node_Str");
  }
  if (archive.isDirectory()) {
    throw new OperationFormatException(archive.getAbsolutePath() + "String_Node_Str");
  }
  File root;
  try {
    root=extractArchive(archive);
  }
 catch (  IOException e) {
    throw new OperationFormatException("String_Node_Str" + archive.getAbsolutePath() + "String_Node_Str");
  }
  ctx.setCurrentDir(root);
  String holdbackBatch=activateNewBatch(ctx);
  try {
    String script=this.script.getValue(args);
    if (script == null) {
      script="String_Node_Str";
    }
    File scriptFile=new File(ctx.getCurrentDir(),script);
    if (!scriptFile.exists()) {
      throw new CommandFormatException("String_Node_Str" + script + "String_Node_Str");
    }
    ctx.printLine("String_Node_Str" + script + "String_Node_Str");
    try (BufferedReader reader=new BufferedReader(new FileReader(scriptFile))){
      String line=reader.readLine();
      while (!ctx.isTerminated() && line != null) {
        ctx.handle(line);
        line=reader.readLine();
      }
    }
 catch (    FileNotFoundException e) {
      throw new CommandFormatException("String_Node_Str" + script + "String_Node_Str");
    }
catch (    IOException e) {
      throw new CommandFormatException(e.getMessage());
    }
catch (    CommandLineException e) {
      throw new CommandFormatException(e.getMessage());
    }
    ModelNode composite=ctx.getBatchManager().getActiveBatch().toRequest();
    return composite;
  }
  finally {
    ctx.setCurrentDir(new File("String_Node_Str"));
    discardBatch(ctx,holdbackBatch);
    recursiveDelete(root);
  }
}