Program: 102298
Project: 102298
Buggy source:
public void setViewModelExists(boolean viewModelExists){
  this.viewModelExists=viewModelExists;
  if (this.viewModelExists) {
    for (    ProcedureGenerator generator : this.procedureGenerators.values()) {
      if (!generator.doOverwriteExistingProcedures()) {
        String validRequestName=ModelGeneratorWsdlUiUtil.getUniqueName(getViewModelLocation().getFullPath().toString(),getViewModelName(),generator.getRequestInfo().getDefaultProcedureName(),false,false);
        generator.getRequestInfo().setProcedureName(validRequestName);
        String validResponseName=ModelGeneratorWsdlUiUtil.getUniqueName(getViewModelLocation().getFullPath().toString(),getViewModelName(),generator.getResponseInfo().getDefaultProcedureName(),false,false);
        generator.getResponseInfo().setProcedureName(validResponseName);
        String validWrapperName=ModelGeneratorWsdlUiUtil.getUniqueName(getViewModelLocation().getFullPath().toString(),getViewModelName(),generator.getDefaultWrapperProcedureName(),false,false);
        generator.setWrapperProcedureName(validWrapperName);
      }
    }
  }
 else {
    for (    ProcedureGenerator generator : this.procedureGenerators.values()) {
      generator.getRequestInfo().setProcedureName(generator.getRequestInfo().getDefaultProcedureName());
      generator.getResponseInfo().setProcedureName(generator.getResponseInfo().getDefaultProcedureName());
      String validWrapperName=generator.getWrapperProcedureName();
      if (validWrapperName.startsWith(generator.getDefaultWrapperProcedureName())) {
        generator.setWrapperProcedureName(generator.getWrapperProcedureName());
      }
    }
  }
}

Fixed version (ground truth):
public void setViewModelExists(boolean viewModelExists){
  this.viewModelExists=viewModelExists;
  if (this.viewModelExists) {
    for (    ProcedureGenerator generator : this.procedureGenerators.values()) {
      if (!generator.doOverwriteExistingProcedures()) {
        String validRequestName=ModelGeneratorWsdlUiUtil.getUniqueName(getViewModelLocation().getFullPath().toString(),getViewModelName(),generator.getRequestInfo().getDefaultProcedureName(),false,false);
        generator.getRequestInfo().setProcedureName(validRequestName);
        String validResponseName=ModelGeneratorWsdlUiUtil.getUniqueName(getViewModelLocation().getFullPath().toString(),getViewModelName(),generator.getResponseInfo().getDefaultProcedureName(),false,false);
        generator.getResponseInfo().setProcedureName(validResponseName);
        String validWrapperName=ModelGeneratorWsdlUiUtil.getUniqueName(getViewModelLocation().getFullPath().toString(),getViewModelName(),generator.getDefaultWrapperProcedureName(),false,false);
        generator.setWrapperProcedureName(validWrapperName);
      }
    }
  }
 else {
    for (    ProcedureGenerator generator : this.procedureGenerators.values()) {
      generator.getRequestInfo().setProcedureName(generator.getRequestInfo().getDefaultProcedureName());
      generator.getResponseInfo().setProcedureName(generator.getResponseInfo().getDefaultProcedureName());
      String validWrapperName=generator.getWrapperProcedureName();
      if (validWrapperName.startsWith(generator.getDefaultWrapperProcedureName())) {
        generator.setWrapperProcedureName(generator.getWrapperProcedureName());
      }
    }
  }
  setChanged(true);
}