Program: 86295
Project: 86295
Buggy source:
@Override public SearchRequestResult search(Bundle query) throws IOException, NotReachableException, OpacErrorException {
  List<NameValuePair> params=new ArrayList<NameValuePair>();
  int index=0;
  start();
  params.add(new BasicNameValuePair("String_Node_Str","String_Node_Str"));
  params.add(new BasicNameValuePair("String_Node_Str","String_Node_Str"));
  params.add(new BasicNameValuePair("String_Node_Str","String_Node_Str"));
  params.add(new BasicNameValuePair("String_Node_Str","String_Node_Str"));
  params.add(new BasicNameValuePair("String_Node_Str","String_Node_Str"));
  params.add(new BasicNameValuePair("String_Node_Str","String_Node_Str"));
  params.add(new BasicNameValuePair("String_Node_Str","String_Node_Str"));
  index=addParameters(query,KEY_SEARCH_QUERY_FREE,"String_Node_Str",params,index);
  index=addParameters(query,KEY_SEARCH_QUERY_AUTHOR,"String_Node_Str",params,index);
  index=addParameters(query,KEY_SEARCH_QUERY_KEYWORDA,"String_Node_Str",params,index);
  index=addParameters(query,KEY_SEARCH_QUERY_KEYWORDB,"String_Node_Str",params,index);
  index=addParameters(query,KEY_SEARCH_QUERY_PUBLISHER,"String_Node_Str",params,index);
  index=addParameters(query,KEY_SEARCH_QUERY_SYSTEM,"String_Node_Str",params,index);
  params.add(new BasicNameValuePair("String_Node_Str","String_Node_Str"));
  params.add(new BasicNameValuePair("String_Node_Str",query.getString(KEY_SEARCH_QUERY_YEAR)));
  if (index == 0) {
    throw new OpacErrorException("String_Node_Str");
  }
  if (index > 4) {
    throw new OpacErrorException("String_Node_Str");
  }
  String html=httpGet(opac_url + "String_Node_Str" + db+ "String_Node_Str"+ URLEncodedUtils.format(params,"String_Node_Str"),ENCODING,false,cookieStore);
  return parse_search(html,1);
}

Fixed version (ground truth):
@Override public SearchRequestResult search(Bundle query) throws IOException, NotReachableException, OpacErrorException {
  List<NameValuePair> params=new ArrayList<NameValuePair>();
  int index=0;
  start();
  params.add(new BasicNameValuePair("String_Node_Str","String_Node_Str"));
  params.add(new BasicNameValuePair("String_Node_Str","String_Node_Str"));
  params.add(new BasicNameValuePair("String_Node_Str","String_Node_Str"));
  params.add(new BasicNameValuePair("String_Node_Str","String_Node_Str"));
  params.add(new BasicNameValuePair("String_Node_Str","String_Node_Str"));
  params.add(new BasicNameValuePair("String_Node_Str","String_Node_Str"));
  params.add(new BasicNameValuePair("String_Node_Str","String_Node_Str"));
  index=addParameters(query,KEY_SEARCH_QUERY_FREE,"String_Node_Str",params,index);
  index=addParameters(query,KEY_SEARCH_QUERY_AUTHOR,"String_Node_Str",params,index);
  index=addParameters(query,KEY_SEARCH_QUERY_KEYWORDA,"String_Node_Str",params,index);
  index=addParameters(query,KEY_SEARCH_QUERY_KEYWORDB,"String_Node_Str",params,index);
  index=addParameters(query,KEY_SEARCH_QUERY_PUBLISHER,"String_Node_Str",params,index);
  index=addParameters(query,KEY_SEARCH_QUERY_SYSTEM,"String_Node_Str",params,index);
  params.add(new BasicNameValuePair("String_Node_Str","String_Node_Str"));
  params.add(new BasicNameValuePair("String_Node_Str",query.getString(KEY_SEARCH_QUERY_YEAR)));
  if (index == 0) {
    throw new OpacErrorException("String_Node_Str");
  }
  if (index > 4) {
    throw new OpacErrorException("String_Node_Str");
  }
  String html=httpGet(opac_url + "String_Node_Str" + db+ "String_Node_Str"+ URLEncodedUtils.format(params,getDefaultEncoding()),getDefaultEncoding(),false,cookieStore);
  return parse_search(html,1);
}