Program: 86300
Project: 86300
Buggy source:
@Override public AccountData account(Account account) throws IOException, JSONException, OpacErrorException {
  List<NameValuePair> params=new ArrayList<NameValuePair>();
  params.add(new BasicNameValuePair("String_Node_Str","String_Node_Str"));
  params.add(new BasicNameValuePair("String_Node_Str","String_Node_Str"));
  params.add(new BasicNameValuePair("String_Node_Str","String_Node_Str"));
  params.add(new BasicNameValuePair("String_Node_Str","String_Node_Str"));
  params.add(new BasicNameValuePair("String_Node_Str","String_Node_Str"));
  params.add(new BasicNameValuePair("String_Node_Str","String_Node_Str"));
  params.add(new BasicNameValuePair("String_Node_Str",account.getName()));
  params.add(new BasicNameValuePair("String_Node_Str",account.getPassword()));
  String html=httpPost(https_url + "String_Node_Str" + db+ "String_Node_Str",new UrlEncodedFormEntity(params,"String_Node_Str"),getDefaultEncoding());
  Document doc=Jsoup.parse(html);
  pwEncoded=doc.select("String_Node_Str").attr("String_Node_Str");
  pwEncoded=pwEncoded.substring(pwEncoded.indexOf("String_Node_Str") + 7);
  html=httpGet(https_url + "String_Node_Str" + db+ "String_Node_Str"+ account.getName()+ "String_Node_Str"+ pwEncoded,getDefaultEncoding());
  doc=Jsoup.parse(html);
  html=httpGet(https_url + "String_Node_Str" + db+ "String_Node_Str"+ account.getName()+ "String_Node_Str"+ pwEncoded,getDefaultEncoding());
  Document doc2=Jsoup.parse(html);
  pwEncoded=doc.select("String_Node_Str").attr("String_Node_Str");
  AccountData res=new AccountData(account.getId());
  List<ContentValues> medien=new ArrayList<ContentValues>();
  List<ContentValues> reserved=new ArrayList<ContentValues>();
  if (doc.select("String_Node_Str").size() > 0) {
    parse_medialist(medien,doc,1,account.getName());
  }
  if (doc2.select("String_Node_Str").size() > 0) {
    parse_reslist(reserved,doc2,1);
  }
  res.setLent(medien);
  res.setReservations(reserved);
  if (medien == null || reserved == null) {
    throw new OpacErrorException("String_Node_Str");
  }
  return res;
}

Fixed version (ground truth):
@Override public AccountData account(Account account) throws IOException, JSONException, OpacErrorException {
  List<NameValuePair> params=new ArrayList<NameValuePair>();
  params.add(new BasicNameValuePair("String_Node_Str","String_Node_Str"));
  params.add(new BasicNameValuePair("String_Node_Str","String_Node_Str"));
  params.add(new BasicNameValuePair("String_Node_Str","String_Node_Str"));
  params.add(new BasicNameValuePair("String_Node_Str","String_Node_Str"));
  params.add(new BasicNameValuePair("String_Node_Str","String_Node_Str"));
  params.add(new BasicNameValuePair("String_Node_Str","String_Node_Str"));
  params.add(new BasicNameValuePair("String_Node_Str",account.getName()));
  params.add(new BasicNameValuePair("String_Node_Str",account.getPassword()));
  String html=httpPost(https_url + "String_Node_Str" + db+ "String_Node_Str",new UrlEncodedFormEntity(params,getDefaultEncoding()),getDefaultEncoding());
  Document doc=Jsoup.parse(html);
  pwEncoded=doc.select("String_Node_Str").attr("String_Node_Str");
  pwEncoded=pwEncoded.substring(pwEncoded.indexOf("String_Node_Str") + 7);
  html=httpGet(https_url + "String_Node_Str" + db+ "String_Node_Str"+ account.getName()+ "String_Node_Str"+ pwEncoded,getDefaultEncoding());
  doc=Jsoup.parse(html);
  html=httpGet(https_url + "String_Node_Str" + db+ "String_Node_Str"+ account.getName()+ "String_Node_Str"+ pwEncoded,getDefaultEncoding());
  Document doc2=Jsoup.parse(html);
  pwEncoded=doc.select("String_Node_Str").attr("String_Node_Str");
  AccountData res=new AccountData(account.getId());
  List<ContentValues> medien=new ArrayList<ContentValues>();
  List<ContentValues> reserved=new ArrayList<ContentValues>();
  if (doc.select("String_Node_Str").size() > 0) {
    parse_medialist(medien,doc,1,account.getName());
  }
  if (doc2.select("String_Node_Str").size() > 0) {
    parse_reslist(reserved,doc2,1);
  }
  res.setLent(medien);
  res.setReservations(reserved);
  if (medien == null || reserved == null) {
    throw new OpacErrorException("String_Node_Str");
  }
  return res;
}