Program: 61470
Project: 61470
Buggy source:
@Override public void showResults(){
  super.showResults();
  if (ConfigurationProperties.getPropertyBool("String_Node_Str")) {
    log.info("String_Node_Str" + this.currentStat.ingAttemptsSuccessfulPatches.size() + "String_Node_Str"+ Stats.sum(currentStat.ingAttemptsSuccessfulPatches)+ "String_Node_Str"+ this.currentStat.ingAttemptsSuccessfulPatches.stream().map(Pair::getAttempts).collect(Collectors.toList()));
    log.info("String_Node_Str" + this.currentStat.ingAttemptsFailingPatches.size() + "String_Node_Str"+ Stats.sum(currentStat.ingAttemptsFailingPatches)+ "String_Node_Str"+ this.currentStat.ingAttemptsFailingPatches.stream().map(Pair::getAttempts).collect(Collectors.toList()));
    log.info("String_Node_Str" + this.currentStat.patch_attempts.size() + "String_Node_Str"+ this.currentStat.patch_attempts);
    log.info("String_Node_Str" + this.currentStat.ingAttemptsSuccessfulPatches);
    log.info("String_Node_Str" + this.currentStat.ingAttemptsFailingPatches);
    log.info("String_Node_Str" + this.currentStat.successfulTransformedIngredients);
  }
  if (this.ingredientSearchStrategy.getIngredientSpace() instanceof ExpressionTypeIngredientSpace) {
    ExpressionTypeIngredientSpace space=(ExpressionTypeIngredientSpace)this.ingredientSearchStrategy.getIngredientSpace();
    space.toJSON(this.getProjectFacade().getProperties().getWorkingDirForSource());
    Stats.currentStat.toJSON(this.getProjectFacade().getProperties().getWorkingDirForSource(),Stats.currentStat.ingredientSpaceSize,"String_Node_Str");
    Stats.currentStat.toJSON(this.getProjectFacade().getProperties().getWorkingDirForSource(),Stats.currentStat.combinationByIngredientSize,"String_Node_Str");
  }
}

Fixed version (ground truth):
@Override public void showResults(){
  super.showResults();
  if (ConfigurationProperties.getPropertyBool("String_Node_Str")) {
    log.info("String_Node_Str" + this.currentStat.ingAttemptsSuccessfulPatches.size() + "String_Node_Str"+ Stats.sum(currentStat.ingAttemptsSuccessfulPatches)+ "String_Node_Str"+ this.currentStat.ingAttemptsSuccessfulPatches.stream().map(Pair::getAttempts).collect(Collectors.toList()));
    log.info("String_Node_Str" + this.currentStat.ingAttemptsFailingPatches.size() + "String_Node_Str"+ Stats.sum(currentStat.ingAttemptsFailingPatches)+ "String_Node_Str"+ this.currentStat.ingAttemptsFailingPatches.stream().map(Pair::getAttempts).collect(Collectors.toList()));
    log.info("String_Node_Str" + this.currentStat.patch_attempts.size() + "String_Node_Str"+ this.currentStat.patch_attempts);
    log.info("String_Node_Str" + this.currentStat.ingAttemptsSuccessfulPatches);
    log.info("String_Node_Str" + this.currentStat.ingAttemptsFailingPatches);
    log.info("String_Node_Str" + this.currentStat.successfulTransformedIngredients);
  }
  if (this.ingredientSearchStrategy != null && this.ingredientSearchStrategy.getIngredientSpace() instanceof ExpressionTypeIngredientSpace) {
    ExpressionTypeIngredientSpace space=(ExpressionTypeIngredientSpace)this.ingredientSearchStrategy.getIngredientSpace();
    space.toJSON(this.getProjectFacade().getProperties().getWorkingDirForSource());
    Stats.currentStat.toJSON(this.getProjectFacade().getProperties().getWorkingDirForSource(),Stats.currentStat.ingredientSpaceSize,"String_Node_Str");
    Stats.currentStat.toJSON(this.getProjectFacade().getProperties().getWorkingDirForSource(),Stats.currentStat.combinationByIngredientSize,"String_Node_Str");
  }
}