Program: 86156
Project: 86156
Buggy source:
protected DetailledItem parse_result(String html) throws IOException {
  Document doc=Jsoup.parse(html);
  DetailledItem result=new DetailledItem();
  String id=null;
  if (doc.select("String_Node_Str").size() > 0) {
    id=doc.select("String_Node_Str").first().val().trim();
  }
 else   if (doc.select("String_Node_Str").size() > 0) {
    String href=doc.select("String_Node_Str").first().attr("String_Node_Str");
    id=getQueryParamsFirst(href).get("String_Node_Str").trim();
  }
  result.setId(id);
  newShareLinks=doc.select("String_Node_Str").size() > 0;
  Elements table=doc.select("String_Node_Str").get(1).select("String_Node_Str");
  String imgUrl=table.get(0).select("String_Node_Str" + "String_Node_Str").attr("String_Node_Str");
  result.setCover(imgUrl);
  Copy copy=new Copy();
  for (  Element element : table) {
    String detail=element.select("String_Node_Str").text().trim().replace("String_Node_Str","String_Node_Str");
    String title=element.select("String_Node_Str").text().trim().replace("String_Node_Str","String_Node_Str");
    if (!title.equals("String_Node_Str")) {
      if (title.contains("String_Node_Str")) {
        if (detail.equals("String_Node_Str")) {
          copy.setStatus("String_Node_Str");
        }
 else {
          copy.setStatus("String_Node_Str" + detail);
        }
      }
 else       if (title.contains("String_Node_Str")) {
        copy.setDepartment(detail);
      }
 else       if (title.contains("String_Node_Str")) {
        copy.setShelfmark(detail);
      }
 else       if (title.contains("String_Node_Str")) {
        result.setTitle(detail);
      }
 else       if (!title.contains("String_Node_Str")) {
        result.addDetail(new Detail(title,detail));
      }
    }
  }
  if ("String_Node_Str".equals(copy.getStatus()) || doc.select("String_Node_Str").size() == 0) {
    result.setReservable(false);
  }
 else {
    result.setReservable(true);
    if (doc.select("String_Node_Str").size() > 0) {
      result.setReservation_info(doc.select("String_Node_Str").first().attr("String_Node_Str").substring(1).replace("String_Node_Str","String_Node_Str"));
    }
 else {
      Element form=doc.select("String_Node_Str").first().parent();
      result.setReservation_info(generateQuery(form));
    }
  }
  if (copy.notEmpty())   result.addCopy(copy);
  return result;
}

Fixed version (ground truth):
protected DetailedItem parse_result(String html) throws IOException {
  Document doc=Jsoup.parse(html);
  DetailedItem result=new DetailedItem();
  String id=null;
  if (doc.select("String_Node_Str").size() > 0) {
    id=doc.select("String_Node_Str").first().val().trim();
  }
 else   if (doc.select("String_Node_Str").size() > 0) {
    String href=doc.select("String_Node_Str").first().attr("String_Node_Str");
    id=getQueryParamsFirst(href).get("String_Node_Str").trim();
  }
  result.setId(id);
  newShareLinks=doc.select("String_Node_Str").size() > 0;
  Elements table=doc.select("String_Node_Str").get(1).select("String_Node_Str");
  String imgUrl=table.get(0).select("String_Node_Str" + "String_Node_Str").attr("String_Node_Str");
  result.setCover(imgUrl);
  Copy copy=new Copy();
  for (  Element element : table) {
    String detail=element.select("String_Node_Str").text().trim().replace("String_Node_Str","String_Node_Str");
    String title=element.select("String_Node_Str").text().trim().replace("String_Node_Str","String_Node_Str");
    if (!title.equals("String_Node_Str")) {
      if (title.contains("String_Node_Str")) {
        if (detail.equals("String_Node_Str")) {
          copy.setStatus("String_Node_Str");
        }
 else {
          copy.setStatus("String_Node_Str" + detail);
        }
      }
 else       if (title.contains("String_Node_Str")) {
        copy.setDepartment(detail);
      }
 else       if (title.contains("String_Node_Str")) {
        copy.setShelfmark(detail);
      }
 else       if (title.contains("String_Node_Str")) {
        result.setTitle(detail);
      }
 else       if (!title.contains("String_Node_Str")) {
        result.addDetail(new Detail(title,detail));
      }
    }
  }
  if ("String_Node_Str".equals(copy.getStatus()) || doc.select("String_Node_Str").size() == 0) {
    result.setReservable(false);
  }
 else {
    result.setReservable(true);
    if (doc.select("String_Node_Str").size() > 0) {
      result.setReservation_info(doc.select("String_Node_Str").first().attr("String_Node_Str").substring(1).replace("String_Node_Str","String_Node_Str"));
    }
 else {
      Element form=doc.select("String_Node_Str").first().parent();
      result.setReservation_info(generateQuery(form));
    }
  }
  if (copy.notEmpty())   result.addCopy(copy);
  return result;
}