Program: 86162
Project: 86162
Buggy source:
private SearchRequestResult parse_search(String html,int page){
  List<SearchResult> results=new ArrayList<>();
  Document doc=Jsoup.parse(html);
  if (doc.select("String_Node_Str").text().contains("String_Node_Str")) {
    return new SearchRequestResult(results,0,page);
  }
  Elements trList=doc.select("String_Node_Str");
  Elements elem;
  int rows_per_hit=2;
  if (trList.size() == 1 || (trList.size() > 1 && trList.get(0).select("String_Node_Str").size() > 0 && trList.get(1).select("String_Node_Str").size() > 0)) {
    rows_per_hit=1;
  }
  try {
    rows_per_hit=data.getInt("String_Node_Str");
  }
 catch (  JSONException e) {
  }
  int results_total;
  Pattern pattern=Pattern.compile("String_Node_Str");
  Matcher matcher=pattern.matcher(html);
  if (matcher.find()) {
    results_total=Integer.parseInt(matcher.group(1));
  }
 else {
    results_total=-1;
  }
  int numOfEntries=trList.size() / rows_per_hit;
  if (numOfEntries > numOfResultsPerPage) {
    numOfEntries=numOfResultsPerPage;
  }
  for (int i=0; i < numOfEntries; i++) {
    Element tr=trList.get(i * rows_per_hit);
    SearchResult sr=new SearchResult();
    elem=tr.select("String_Node_Str");
    if (elem.size() > 0 && !elem.get(0).attr("String_Node_Str").contains("String_Node_Str")) {
      String hrefID=elem.get(0).attr("String_Node_Str");
      sr.setId(hrefID);
    }
 else {
      elem=tr.select("String_Node_Str");
      if (elem.size() > 0) {
        String nameID=elem.get(0).attr("String_Node_Str").trim();
        String hrefID="String_Node_Str" + opacDir + "String_Node_Str"+ opacSuffix+ "String_Node_Str"+ nameID+ "String_Node_Str";
        sr.setId(hrefID);
      }
    }
    elem=tr.select("String_Node_Str");
    if (elem.size() > 0) {
      sr.setType(getMediaTypeFromImageFilename(sr,elem.get(0).attr("String_Node_Str"),data));
    }
    String desc="String_Node_Str";
    try {
      JSONArray searchtable=data.getJSONArray("String_Node_Str");
      for (int j=0; j < searchtable.length(); j++) {
        int colNum=searchtable.getInt(j);
        if (j > 0) {
          desc=desc + "String_Node_Str";
        }
        String c=tr.child(colNum).html();
        if (tr.child(colNum).childNodes().size() == 1 && tr.child(colNum).select("String_Node_Str").size() > 0) {
          c=tr.select("String_Node_Str").text();
        }
        desc=desc + c;
      }
    }
 catch (    Exception e) {
      e.printStackTrace();
    }
    desc=desc.replaceAll("String_Node_Str","String_Node_Str");
    desc=desc.replaceAll("String_Node_Str","String_Node_Str");
    desc=desc.replaceAll("String_Node_Str","String_Node_Str");
    desc=desc.replaceAll("String_Node_Str","String_Node_Str");
    desc=desc.replaceAll("String_Node_Str","String_Node_Str");
    sr.setInnerhtml(desc);
    if (tr.select("String_Node_Str").size() > 0 && tr.select("String_Node_Str").size() == 0) {
      sr.setStatus(Status.GREEN);
    }
 else     if (tr.select("String_Node_Str").size() == 0 && tr.select("String_Node_Str").size() > 0) {
      sr.setStatus(Status.RED);
    }
 else     if (tr.select("String_Node_Str").size() > 0 && tr.select("String_Node_Str").size() > 0) {
      sr.setStatus(Status.YELLOW);
    }
    sr.setNr(i / rows_per_hit);
    results.add(sr);
  }
  return new SearchRequestResult(results,results_total,page);
}

Fixed version (ground truth):
private SearchRequestResult parse_search(String html,int page){
  List<SearchResult> results=new ArrayList<>();
  Document doc=Jsoup.parse(html);
  if (doc.select("String_Node_Str").text().contains("String_Node_Str")) {
    return new SearchRequestResult(results,0,page);
  }
  Elements trList=doc.select("String_Node_Str");
  if (trList.size() == 0) {
    trList=doc.select("String_Node_Str");
  }
  Elements elem;
  int rows_per_hit=2;
  if (trList.size() == 1 || (trList.size() > 1 && trList.get(0).select("String_Node_Str").size() > 0 && trList.get(1).select("String_Node_Str").size() > 0)) {
    rows_per_hit=1;
  }
  try {
    rows_per_hit=data.getInt("String_Node_Str");
  }
 catch (  JSONException e) {
  }
  int results_total;
  Pattern pattern=Pattern.compile("String_Node_Str");
  Matcher matcher=pattern.matcher(html);
  if (matcher.find()) {
    results_total=Integer.parseInt(matcher.group(1));
  }
 else {
    results_total=-1;
  }
  int numOfEntries=trList.size() / rows_per_hit;
  if (numOfEntries > numOfResultsPerPage) {
    numOfEntries=numOfResultsPerPage;
  }
  for (int i=0; i < numOfEntries; i++) {
    Element tr=trList.get(i * rows_per_hit);
    SearchResult sr=new SearchResult();
    elem=tr.select("String_Node_Str");
    if (elem.size() > 0 && !elem.get(0).attr("String_Node_Str").contains("String_Node_Str")) {
      String hrefID=elem.get(0).attr("String_Node_Str");
      sr.setId(hrefID);
    }
 else {
      elem=tr.select("String_Node_Str");
      if (elem.size() > 0) {
        String nameID=elem.get(0).attr("String_Node_Str").trim();
        String hrefID="String_Node_Str" + opacDir + "String_Node_Str"+ opacSuffix+ "String_Node_Str"+ nameID+ "String_Node_Str";
        sr.setId(hrefID);
      }
    }
    elem=tr.select("String_Node_Str");
    if (elem.size() > 0) {
      sr.setType(getMediaTypeFromImageFilename(sr,elem.get(0).attr("String_Node_Str"),data));
    }
    String desc="String_Node_Str";
    try {
      JSONArray searchtable=data.getJSONArray("String_Node_Str");
      for (int j=0; j < searchtable.length(); j++) {
        int colNum=searchtable.getInt(j);
        if (j > 0) {
          desc=desc + "String_Node_Str";
        }
        String c=tr.child(colNum).html();
        if (tr.child(colNum).childNodes().size() == 1 && tr.child(colNum).select("String_Node_Str").size() > 0) {
          c=tr.select("String_Node_Str").text();
        }
        desc=desc + c;
      }
    }
 catch (    Exception e) {
      e.printStackTrace();
    }
    desc=desc.replaceAll("String_Node_Str","String_Node_Str");
    desc=desc.replaceAll("String_Node_Str","String_Node_Str");
    desc=desc.replaceAll("String_Node_Str","String_Node_Str");
    desc=desc.replaceAll("String_Node_Str","String_Node_Str");
    desc=desc.replaceAll("String_Node_Str","String_Node_Str");
    sr.setInnerhtml(desc);
    if (tr.select("String_Node_Str").size() > 0 && tr.select("String_Node_Str").size() == 0) {
      sr.setStatus(Status.GREEN);
    }
 else     if (tr.select("String_Node_Str").size() == 0 && tr.select("String_Node_Str").size() > 0) {
      sr.setStatus(Status.RED);
    }
 else     if (tr.select("String_Node_Str").size() > 0 && tr.select("String_Node_Str").size() > 0) {
      sr.setStatus(Status.YELLOW);
    }
    sr.setNr(i / rows_per_hit);
    results.add(sr);
  }
  return new SearchRequestResult(results,results_total,page);
}