Program: 86329
Project: 86329
Buggy source:
private SearchRequestResult parse_search(String html,int page){
  Document doc=Jsoup.parse(html);
  Elements table=doc.select("String_Node_Str");
  List<SearchResult> results=new ArrayList<SearchResult>();
  for (int i=0; i < table.size(); i++) {
    Element tr=table.get(i);
    SearchResult sr=new SearchResult();
    String[] fparts=tr.select("String_Node_Str").get(0).attr("String_Node_Str").split("String_Node_Str");
    String fname=fparts[fparts.length - 1];
    if (data.has("String_Node_Str")) {
      try {
        sr.setType(MediaType.valueOf(data.getJSONObject("String_Node_Str").getString(fname)));
      }
 catch (      JSONException e) {
        sr.setType(defaulttypes.get(fname.toLowerCase().replace("String_Node_Str","String_Node_Str").replace("String_Node_Str","String_Node_Str").replace("String_Node_Str","String_Node_Str")));
      }
catch (      IllegalArgumentException e) {
        sr.setType(defaulttypes.get(fname.toLowerCase().replace("String_Node_Str","String_Node_Str").replace("String_Node_Str","String_Node_Str").replace("String_Node_Str","String_Node_Str")));
      }
    }
 else {
      sr.setType(defaulttypes.get(fname.toLowerCase().replace("String_Node_Str","String_Node_Str").replace("String_Node_Str","String_Node_Str").replace("String_Node_Str","String_Node_Str")));
    }
    try {
      Comment c=(Comment)tr.child(1).childNode(0);
      String comment=c.getData().trim();
      String id=comment.split("String_Node_Str")[1];
      sr.setId(id);
    }
 catch (    Exception e) {
    }
    sr.setInnerhtml(tr.child(1).child(0).html());
    sr.setNr(i);
    results.add(sr);
  }
  int results_total=-1;
  if (doc.select("String_Node_Str").size() > 0) {
    results_total=Integer.parseInt(doc.select("String_Node_Str").text().trim().replaceAll("String_Node_Str","String_Node_Str"));
  }
  return new SearchRequestResult(results,results_total,page);
}

Fixed version (ground truth):
protected SearchRequestResult parse_search(String html,int page){
  Document doc=Jsoup.parse(html);
  Elements table=doc.select("String_Node_Str");
  List<SearchResult> results=new ArrayList<SearchResult>();
  for (int i=0; i < table.size(); i++) {
    Element tr=table.get(i);
    SearchResult sr=new SearchResult();
    String[] fparts=tr.select("String_Node_Str").get(0).attr("String_Node_Str").split("String_Node_Str");
    String fname=fparts[fparts.length - 1];
    if (data.has("String_Node_Str")) {
      try {
        sr.setType(MediaType.valueOf(data.getJSONObject("String_Node_Str").getString(fname)));
      }
 catch (      JSONException e) {
        sr.setType(defaulttypes.get(fname.toLowerCase().replace("String_Node_Str","String_Node_Str").replace("String_Node_Str","String_Node_Str").replace("String_Node_Str","String_Node_Str")));
      }
catch (      IllegalArgumentException e) {
        sr.setType(defaulttypes.get(fname.toLowerCase().replace("String_Node_Str","String_Node_Str").replace("String_Node_Str","String_Node_Str").replace("String_Node_Str","String_Node_Str")));
      }
    }
 else {
      sr.setType(defaulttypes.get(fname.toLowerCase().replace("String_Node_Str","String_Node_Str").replace("String_Node_Str","String_Node_Str").replace("String_Node_Str","String_Node_Str")));
    }
    try {
      Comment c=(Comment)tr.child(1).childNode(0);
      String comment=c.getData().trim();
      String id=comment.split("String_Node_Str")[1];
      sr.setId(id);
    }
 catch (    Exception e) {
    }
    sr.setInnerhtml(tr.child(1).child(0).html());
    sr.setNr(i);
    results.add(sr);
  }
  int results_total=-1;
  if (doc.select("String_Node_Str").size() > 0) {
    results_total=Integer.parseInt(doc.select("String_Node_Str").text().trim().replaceAll("String_Node_Str","String_Node_Str"));
  }
  return new SearchRequestResult(results,results_total,page);
}