Program: 86318
Project: 86318
Buggy source:
protected SearchRequestResult parse_search(String html,int page){
  Document doc=Jsoup.parse(html);
  if (doc.select("String_Node_Str").size() > 0) {
    if (doc.select("String_Node_Str").text().trim().contains("String_Node_Str")) {
      return new SearchRequestResult(new ArrayList<SearchResult>(),0,1,1);
    }
 else     if (!doc.select("String_Node_Str").text().trim().contains("String_Node_Str") && !doc.select("String_Node_Str").text().trim().contains("String_Node_Str")) {
      last_error=doc.select("String_Node_Str").text().trim();
      return null;
    }
  }
 else   if (doc.select("String_Node_Str").size() > 0) {
    if (doc.select("String_Node_Str").text().trim().contains("String_Node_Str")) {
      last_error="String_Node_Str";
      return null;
    }
 else {
      last_error="String_Node_Str" + doc.select("String_Node_Str").text().trim();
      return null;
    }
  }
 else {
    return null;
  }
  updateRechnr(doc);
  reusehtml=html;
  results_total=-1;
  if (doc.select("String_Node_Str").text().trim().contains("String_Node_Str")) {
    results_total=200;
  }
 else {
    String resultnumstr=doc.select("String_Node_Str").first().text();
    resultnumstr=resultnumstr.substring(0,resultnumstr.indexOf("String_Node_Str")).trim();
    results_total=Integer.parseInt(resultnumstr);
  }
  List<SearchResult> results=new ArrayList<SearchResult>();
  Elements tables=doc.select("String_Node_Str").first().select("String_Node_Str");
  for (int i=0; i < tables.size(); i++) {
    Element tr=tables.get(i);
    SearchResult sr=new SearchResult();
    if (tr.select("String_Node_Str").first().select("String_Node_Str").size() > 0) {
      String imgUrl=tr.select("String_Node_Str").first().select("String_Node_Str").first().attr("String_Node_Str");
      sr.setCover(imgUrl);
    }
    String mType=tr.select("String_Node_Str").last().text().trim().replace("String_Node_Str","String_Node_Str");
    if (data.has("String_Node_Str")) {
      try {
        sr.setType(MediaType.valueOf(data.getJSONObject("String_Node_Str").getString(mType.toLowerCase())));
      }
 catch (      JSONException e) {
        sr.setType(defaulttypes.get(mType.toLowerCase()));
      }
catch (      IllegalArgumentException e) {
        sr.setType(defaulttypes.get(mType.toLowerCase()));
      }
    }
 else {
      sr.setType(defaulttypes.get(mType.toLowerCase()));
    }
    String title=tr.select("String_Node_Str").get(1).text().trim().replace("String_Node_Str","String_Node_Str");
    String additionalInfo="String_Node_Str";
    if (title.contains("String_Node_Str")) {
      additionalInfo+=title.substring(title.indexOf("String_Node_Str"));
      title=title.substring(0,title.indexOf("String_Node_Str") - 1).trim();
    }
    String author=tr.select("String_Node_Str").get(2).text().trim().replace("String_Node_Str","String_Node_Str");
    additionalInfo+="String_Node_Str" + author;
    String publisher=tr.select("String_Node_Str").get(3).text().trim().replace("String_Node_Str","String_Node_Str");
    additionalInfo+="String_Node_Str" + publisher;
    String year=tr.select("String_Node_Str").get(4).text().trim().replace("String_Node_Str","String_Node_Str");
    additionalInfo+="String_Node_Str" + year + "String_Node_Str";
    sr.setInnerhtml("String_Node_Str" + title + "String_Node_Str"+ additionalInfo);
    sr.setNr(10 * (page - 1) + i);
    sr.setId(null);
    results.add(sr);
  }
  resultcount=results.size();
  return new SearchRequestResult(results,results_total,page);
}

Fixed version (ground truth):
protected SearchRequestResult parse_search(String html,int page){
  Document doc=Jsoup.parse(html);
  if (doc.select("String_Node_Str").size() > 0) {
    if (doc.select("String_Node_Str").text().trim().startsWith("String_Node_Str")) {
      return new SearchRequestResult(new ArrayList<SearchResult>(),0,1,1);
    }
 else     if (!doc.select("String_Node_Str").text().trim().contains("String_Node_Str") && !doc.select("String_Node_Str").text().trim().contains("String_Node_Str")) {
      last_error=doc.select("String_Node_Str").text().trim();
      return null;
    }
  }
 else   if (doc.select("String_Node_Str").size() > 0) {
    if (doc.select("String_Node_Str").text().trim().contains("String_Node_Str")) {
      last_error="String_Node_Str";
      return null;
    }
 else {
      last_error="String_Node_Str" + doc.select("String_Node_Str").text().trim();
      return null;
    }
  }
 else {
    return null;
  }
  updateRechnr(doc);
  reusehtml=html;
  results_total=-1;
  if (doc.select("String_Node_Str").text().trim().contains("String_Node_Str")) {
    results_total=200;
  }
 else {
    String resultnumstr=doc.select("String_Node_Str").first().text();
    resultnumstr=resultnumstr.substring(0,resultnumstr.indexOf("String_Node_Str")).trim();
    results_total=Integer.parseInt(resultnumstr);
  }
  List<SearchResult> results=new ArrayList<SearchResult>();
  Elements tables=doc.select("String_Node_Str").first().select("String_Node_Str");
  for (int i=0; i < tables.size(); i++) {
    Element tr=tables.get(i);
    SearchResult sr=new SearchResult();
    if (tr.select("String_Node_Str").first().select("String_Node_Str").size() > 0) {
      String imgUrl=tr.select("String_Node_Str").first().select("String_Node_Str").first().attr("String_Node_Str");
      sr.setCover(imgUrl);
    }
    String mType=tr.select("String_Node_Str").last().text().trim().replace("String_Node_Str","String_Node_Str");
    if (data.has("String_Node_Str")) {
      try {
        sr.setType(MediaType.valueOf(data.getJSONObject("String_Node_Str").getString(mType.toLowerCase())));
      }
 catch (      JSONException e) {
        sr.setType(defaulttypes.get(mType.toLowerCase()));
      }
catch (      IllegalArgumentException e) {
        sr.setType(defaulttypes.get(mType.toLowerCase()));
      }
    }
 else {
      sr.setType(defaulttypes.get(mType.toLowerCase()));
    }
    String title=tr.select("String_Node_Str").get(1).text().trim().replace("String_Node_Str","String_Node_Str");
    String additionalInfo="String_Node_Str";
    if (title.contains("String_Node_Str")) {
      additionalInfo+=title.substring(title.indexOf("String_Node_Str"));
      title=title.substring(0,title.indexOf("String_Node_Str") - 1).trim();
    }
    String author=tr.select("String_Node_Str").get(2).text().trim().replace("String_Node_Str","String_Node_Str");
    additionalInfo+="String_Node_Str" + author;
    String publisher=tr.select("String_Node_Str").get(3).text().trim().replace("String_Node_Str","String_Node_Str");
    additionalInfo+="String_Node_Str" + publisher;
    String year=tr.select("String_Node_Str").get(4).text().trim().replace("String_Node_Str","String_Node_Str");
    additionalInfo+="String_Node_Str" + year + "String_Node_Str";
    sr.setInnerhtml("String_Node_Str" + title + "String_Node_Str"+ additionalInfo);
    sr.setNr(10 * (page - 1) + i);
    sr.setId(null);
    results.add(sr);
  }
  resultcount=results.size();
  return new SearchRequestResult(results,results_total,page);
}