Program: 86231
Project: 86231
Buggy source:
protected DetailledItem parse_result(String html) throws IOException {
  Document doc=Jsoup.parse(html);
  DetailledItem result=new DetailledItem();
  String id;
  if (doc.select("String_Node_Str").size() > 0) {
    id=doc.select("String_Node_Str").first().val().trim();
  }
 else {
    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);
  Map<String,String> e=new HashMap<>();
  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")) {
          e.put(DetailledItem.KEY_COPY_STATUS,"String_Node_Str");
        }
 else {
          e.put(DetailledItem.KEY_COPY_STATUS,"String_Node_Str" + detail);
        }
      }
 else       if (title.contains("String_Node_Str")) {
        e.put(DetailledItem.KEY_COPY_DEPARTMENT,detail);
      }
 else       if (title.contains("String_Node_Str")) {
        e.put(DetailledItem.KEY_COPY_SHELFMARK,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(e.get(DetailledItem.KEY_COPY_STATUS)) || 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 (e.size() > 0)   result.addCopy(e);
  return result;
}

Fixed version (ground truth):
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);
  Map<String,String> e=new HashMap<>();
  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")) {
          e.put(DetailledItem.KEY_COPY_STATUS,"String_Node_Str");
        }
 else {
          e.put(DetailledItem.KEY_COPY_STATUS,"String_Node_Str" + detail);
        }
      }
 else       if (title.contains("String_Node_Str")) {
        e.put(DetailledItem.KEY_COPY_DEPARTMENT,detail);
      }
 else       if (title.contains("String_Node_Str")) {
        e.put(DetailledItem.KEY_COPY_SHELFMARK,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(e.get(DetailledItem.KEY_COPY_STATUS)) || 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 (e.size() > 0)   result.addCopy(e);
  return result;
}