Program: 188909
Project: 188909
Buggy source:
/** 
 * {@inheritDoc} 
 */
@Override public ReturnValue do_verify_parameters(){
  ReturnValue ret=new ReturnValue();
  ret.setExitStatus(ReturnValue.SUCCESS);
  try {
    OptionParser parser=getOptionParser();
    options=parser.parse(this.getParameters().toArray(new String[0]));
  }
 catch (  OptionException e) {
    ret.setStderr(e.getMessage() + System.getProperty("String_Node_Str") + this.get_syntax());
    ret.setExitStatus(ReturnValue.INVALIDPARAMETERS);
    e.printStackTrace();
    return ret;
  }
  if (!options.has("String_Node_Str") && !options.has("String_Node_Str")) {
    ret.setStderr("String_Node_Str" + System.getProperty("String_Node_Str") + this.get_syntax());
    ret.setExitStatus(ReturnValue.INVALIDPARAMETERS);
    return ret;
  }
  if (!options.has("String_Node_Str") && !options.has("String_Node_Str")) {
    ret.setStderr("String_Node_Str" + System.getProperty("String_Node_Str") + this.get_syntax());
    ret.setExitStatus(ReturnValue.INVALIDPARAMETERS);
    return ret;
  }
  if (options.has("String_Node_Str") && options.valueOf("String_Node_Str") != null && options.valueOf("String_Node_Str").toString().length() > 0) {
    algorithmName=(String)options.valueOf("String_Node_Str");
  }
  if (options.has("String_Node_Str") && !options.has("String_Node_Str")) {
    ret.setStderr("String_Node_Str" + System.getProperty("String_Node_Str") + this.get_syntax());
    ret.setExitStatus(ReturnValue.INVALIDPARAMETERS);
    return ret;
  }
  if (options.has("String_Node_Str") && options.has("String_Node_Str")) {
    ret.setStderr("String_Node_Str" + System.getProperty("String_Node_Str") + this.get_syntax());
    ret.setExitStatus(ReturnValue.INVALIDPARAMETERS);
    return ret;
  }
  if (options.has("String_Node_Str") && (options.has("String_Node_Str") || options.has("String_Node_Str")) && (options.valuesOf("String_Node_Str").size() > 1 || options.valuesOf("String_Node_Str").size() > 1 || options.valuesOf("String_Node_Str").size() > 1)) {
    ret.setStderr("String_Node_Str" + System.getProperty("String_Node_Str") + this.get_syntax());
    ret.setExitStatus(ReturnValue.INVALIDPARAMETERS);
    return ret;
  }
  return (ret);
}

Fixed version (ground truth):
/** 
 * {@inheritDoc} 
 */
@Override public ReturnValue do_verify_parameters(){
  ReturnValue ret=new ReturnValue();
  ret.setExitStatus(ReturnValue.SUCCESS);
  try {
    OptionParser parser=getOptionParser();
    options=parser.parse(this.getParameters().toArray(new String[0]));
  }
 catch (  OptionException e) {
    ret.setStderr(e.getMessage() + System.getProperty("String_Node_Str") + this.get_syntax());
    ret.setExitStatus(ReturnValue.INVALIDPARAMETERS);
    e.printStackTrace();
    return ret;
  }
  if (!options.has("String_Node_Str") && !options.has("String_Node_Str")) {
    ret.setStderr("String_Node_Str" + System.getProperty("String_Node_Str") + this.get_syntax());
    ret.setExitStatus(ReturnValue.INVALIDPARAMETERS);
    return ret;
  }
  if (!options.has("String_Node_Str") && !options.has("String_Node_Str")) {
    ret.setStderr("String_Node_Str" + System.getProperty("String_Node_Str") + this.get_syntax());
    ret.setExitStatus(ReturnValue.INVALIDPARAMETERS);
    return ret;
  }
  if (options.has("String_Node_Str") && options.valueOf("String_Node_Str") != null && options.valueOf("String_Node_Str").toString().length() > 0) {
    algorithmName=(String)options.valueOf("String_Node_Str");
  }
  if (options.has("String_Node_Str") && !(options.has("String_Node_Str") || options.has("String_Node_Str"))) {
    ret.setStderr("String_Node_Str" + System.getProperty("String_Node_Str") + this.get_syntax());
    ret.setExitStatus(ReturnValue.INVALIDPARAMETERS);
    return ret;
  }
  if (options.has("String_Node_Str") && options.has("String_Node_Str")) {
    ret.setStderr("String_Node_Str" + System.getProperty("String_Node_Str") + this.get_syntax());
    ret.setExitStatus(ReturnValue.INVALIDPARAMETERS);
    return ret;
  }
  if (options.has("String_Node_Str") && (options.has("String_Node_Str") || options.has("String_Node_Str")) && (options.valuesOf("String_Node_Str").size() > 1 || options.valuesOf("String_Node_Str").size() > 1 || options.valuesOf("String_Node_Str").size() > 1)) {
    ret.setStderr("String_Node_Str" + System.getProperty("String_Node_Str") + this.get_syntax());
    ret.setExitStatus(ReturnValue.INVALIDPARAMETERS);
    return ret;
  }
  return (ret);
}