Program: 86212
Project: 86212
Buggy source:
static void parseResList(List<Map<String,String>> media,Document doc,StringProvider stringProvider) throws OpacErrorException {
  Elements copytrs=doc.select("String_Node_Str");
  int trs=copytrs.size();
  if (trs < 1) {
    throw new OpacErrorException(stringProvider.getString(StringProvider.COULD_NOT_LOAD_ACCOUNT));
  }
  assert(trs > 0);
  for (  Element tr : copytrs) {
    Map<String,String> e=new HashMap<>();
    if (tr.select("String_Node_Str").size() > 0) {
      if (tr.select("String_Node_Str").size() > 0) {
        e.put(AccountData.KEY_RESERVATION_CANCEL,tr.select("String_Node_Str").attr("String_Node_Str"));
      }
      Elements datatrs=tr.select("String_Node_Str");
      e.put(AccountData.KEY_RESERVATION_TITLE,datatrs.get(0).text());
      List<TextNode> textNodes=datatrs.get(1).select("String_Node_Str").first().textNodes();
      List<TextNode> nodes=new ArrayList<>();
      Elements titles=datatrs.get(1).select("String_Node_Str");
      for (      TextNode node : textNodes) {
        if (!node.text().equals("String_Node_Str")) {
          nodes.add(node);
        }
      }
      assert(nodes.size() == titles.size());
      for (int j=0; j < nodes.size(); j++) {
        String title=titles.get(j).text();
        String value=nodes.get(j).text().trim().replace("String_Node_Str","String_Node_Str");
        if (title.contains("String_Node_Str") || title.contains("String_Node_Str") || title.contains("String_Node_Str")) {
        }
 else         if (title.contains("String_Node_Str")) {
        }
      }
    }
 else {
      e.put(AccountData.KEY_RESERVATION_TITLE,tr.child(5).text().trim());
      e.put(AccountData.KEY_RESERVATION_READY,tr.child(17).text().trim());
      e.put(AccountData.KEY_RESERVATION_CANCEL,tr.child(1).select("String_Node_Str").attr("String_Node_Str"));
    }
    media.add(e);
  }
  assert(media.size() == trs - 1);
}

Fixed version (ground truth):
static void parseResList(List<Map<String,String>> media,Document doc,StringProvider stringProvider) throws OpacErrorException {
  Elements copytrs=doc.select("String_Node_Str");
  int trs=copytrs.size();
  if (trs < 1) {
    throw new OpacErrorException(stringProvider.getString(StringProvider.COULD_NOT_LOAD_ACCOUNT));
  }
  assert(trs > 0);
  for (  Element tr : copytrs) {
    Map<String,String> e=new HashMap<>();
    if (tr.select("String_Node_Str").size() > 0) {
      if (tr.select("String_Node_Str").size() > 0) {
        e.put(AccountData.KEY_RESERVATION_CANCEL,tr.select("String_Node_Str").attr("String_Node_Str"));
      }
      Elements datatrs=tr.select("String_Node_Str");
      e.put(AccountData.KEY_RESERVATION_TITLE,datatrs.get(0).text());
      List<TextNode> textNodes=datatrs.get(1).select("String_Node_Str").first().textNodes();
      List<TextNode> nodes=new ArrayList<>();
      Elements titles=datatrs.get(1).select("String_Node_Str");
      for (      TextNode node : textNodes) {
        if (!node.text().equals("String_Node_Str")) {
          nodes.add(node);
        }
      }
      assert(nodes.size() == titles.size());
      for (int j=0; j < nodes.size(); j++) {
        String title=titles.get(j).text();
        String value=nodes.get(j).text().trim().replace("String_Node_Str","String_Node_Str");
        if (title.contains("String_Node_Str") || title.contains("String_Node_Str") || title.contains("String_Node_Str")) {
        }
 else         if (title.contains("String_Node_Str")) {
        }
      }
    }
 else {
      e.put(AccountData.KEY_RESERVATION_TITLE,tr.child(5).text().trim());
      e.put(AccountData.KEY_RESERVATION_READY,tr.child(17).text().trim());
      e.put(AccountData.KEY_RESERVATION_CANCEL,tr.child(1).select("String_Node_Str").attr("String_Node_Str"));
    }
    media.add(e);
  }
  assert(media.size() == trs);
}