Program: 86282
Project: 86282
Buggy source:
private SearchRequestResult parse_search(String html,int page) throws OpacErrorException, UnsupportedEncodingException {
  Document doc=Jsoup.parse(html);
  String header=doc.select("String_Node_Str").text();
  Pattern pattern=Pattern.compile("String_Node_Str");
  Matcher matcher=pattern.matcher(header);
  int results_total=0;
  if (matcher.find()) {
    results_total=Integer.parseInt(matcher.group(1));
  }
 else {
    Log.d("String_Node_Str",html);
    throw new OpacErrorException("String_Node_Str");
  }
  Elements trs=doc.select("String_Node_Str");
  List<SearchResult> results=new ArrayList<SearchResult>();
  for (  Element tr : trs) {
    SearchResult sr=new SearchResult();
    String author=tr.select("String_Node_Str").text();
    String title=tr.select("String_Node_Str").text();
    String titleAddition=tr.select("String_Node_Str").text();
    String desc=tr.select("String_Node_Str").text();
    sr.setInnerhtml("String_Node_Str" + author + "String_Node_Str"+ title+ (titleAddition.equals("String_Node_Str") ? "String_Node_Str" : "String_Node_Str" + titleAddition + "String_Node_Str")+ "String_Node_Str"+ desc+ "String_Node_Str");
    String coverUrl=tr.select("String_Node_Str").attr("String_Node_Str");
    if (!coverUrl.contains("String_Node_Str"))     sr.setCover(coverUrl);
    String link=tr.select("String_Node_Str").attr("String_Node_Str");
    String base64=getQueryParamsFirst(link).get("String_Node_Str");
    base64=base64.substring(0,base64.indexOf("String_Node_Str") - 1);
    String decoded=new String(Base64.decode(base64,Base64.NO_WRAP),"String_Node_Str");
    pattern=Pattern.compile("String_Node_Str");
    matcher=pattern.matcher(decoded);
    if (matcher.find()) {
      sr.setId(matcher.group(1));
    }
 else {
      Log.d("String_Node_Str",decoded);
      throw new OpacErrorException("String_Node_Str");
    }
    if (tr.select("String_Node_Str").size() > 0) {
      Element status=tr.select("String_Node_Str").first();
      if (status.hasClass("String_Node_Str")) {
        sr.setStatus(Status.RED);
      }
 else       if (status.hasClass("String_Node_Str")) {
        sr.setStatus(Status.GREEN);
      }
 else {
        sr.setStatus(Status.YELLOW);
      }
    }
 else     if (tr.select("String_Node_Str").size() > 0) {
      if (tr.nextElementSibling().select("String_Node_Str").size() == 0) {
        sr.setStatus(Status.GREEN);
      }
 else       if (tr.nextElementSibling().select("String_Node_Str").size() == 0) {
        sr.setStatus(Status.RED);
      }
 else {
        sr.setStatus(Status.YELLOW);
      }
    }
    results.add(sr);
  }
  return new SearchRequestResult(results,results_total,page);
}

Fixed version (ground truth):
private SearchRequestResult parse_search(String html,int page) throws OpacErrorException, UnsupportedEncodingException {
  Document doc=Jsoup.parse(html);
  String header=doc.select("String_Node_Str").text();
  Pattern pattern=Pattern.compile("String_Node_Str");
  Matcher matcher=pattern.matcher(header);
  int results_total=0;
  if (matcher.find()) {
    results_total=Integer.parseInt(matcher.group(1));
  }
 else {
    Log.d("String_Node_Str",html);
    throw new OpacErrorException("String_Node_Str");
  }
  Elements trs=doc.select("String_Node_Str");
  List<SearchResult> results=new ArrayList<SearchResult>();
  for (  Element tr : trs) {
    SearchResult sr=new SearchResult();
    String author=tr.select("String_Node_Str").text();
    String title=tr.select("String_Node_Str").text();
    String titleAddition=tr.select("String_Node_Str").text();
    String desc=tr.select("String_Node_Str").text();
    sr.setInnerhtml("String_Node_Str" + author + "String_Node_Str"+ title+ (titleAddition.equals("String_Node_Str") ? "String_Node_Str" : "String_Node_Str" + titleAddition + "String_Node_Str")+ "String_Node_Str"+ desc+ "String_Node_Str");
    String coverUrl=tr.select("String_Node_Str").attr("String_Node_Str");
    if (!coverUrl.contains("String_Node_Str"))     sr.setCover(coverUrl);
    String link=tr.select("String_Node_Str").attr("String_Node_Str");
    String base64=getQueryParamsFirst(link).get("String_Node_Str");
    if (base64.contains("String_Node_Str"))     base64=base64.substring(0,base64.indexOf("String_Node_Str") - 1);
    String decoded=new String(Base64.decode(base64,Base64.NO_WRAP),"String_Node_Str");
    pattern=Pattern.compile("String_Node_Str");
    matcher=pattern.matcher(decoded);
    if (matcher.find()) {
      sr.setId(matcher.group(1));
    }
 else {
      Log.d("String_Node_Str",decoded);
      throw new OpacErrorException("String_Node_Str");
    }
    if (tr.select("String_Node_Str").size() > 0) {
      Element status=tr.select("String_Node_Str").first();
      if (status.hasClass("String_Node_Str")) {
        sr.setStatus(Status.RED);
      }
 else       if (status.hasClass("String_Node_Str")) {
        sr.setStatus(Status.GREEN);
      }
 else {
        sr.setStatus(Status.YELLOW);
      }
    }
 else     if (tr.select("String_Node_Str").size() > 0) {
      if (tr.nextElementSibling().select("String_Node_Str").size() == 0) {
        sr.setStatus(Status.GREEN);
      }
 else       if (tr.nextElementSibling().select("String_Node_Str").size() == 0) {
        sr.setStatus(Status.RED);
      }
 else {
        sr.setStatus(Status.YELLOW);
      }
    }
    results.add(sr);
  }
  return new SearchRequestResult(results,results_total,page);
}