Program: 168083
Project: 168083
Buggy source:
public void crawlSearch(String outputDir,String searchTerm1,String searchTerm2,String operator,Calendar from,Calendar to,String presidentName,String documentCategory,IProgressMonitor monitor) throws IOException {
  this.outputDir=outputDir;
  setDir();
  Elements elements=null;
  Connection conn=Jsoup.connect("String_Node_Str").data("String_Node_Str",searchTerm1).data("String_Node_Str",operator).data("String_Node_Str",searchTerm2).data("String_Node_Str",documentCategory).data("String_Node_Str",presidentName);
  int progressMonitorIncrement=890;
  if (from != null) {
    conn=conn.data("String_Node_Str",months[from.get(Calendar.MONTH)]).data("String_Node_Str",days[from.get(Calendar.DATE) - 1]).data("String_Node_Str",from.get(Calendar.YEAR) + "String_Node_Str").data("String_Node_Str",months[to.get(Calendar.MONTH)]).data("String_Node_Str",days[to.get(Calendar.DATE) - 1]).data("String_Node_Str",to.get(Calendar.YEAR) + "String_Node_Str");
    conn.timeout(120000);
    Document e=conn.post();
    Element et=e.body().child(0).child(0).child(1).child(0).child(0).child(0).child(0).child(1);
    elements=et.child(2).child(0).children();
  }
 else {
    Element e=conn.post().body().child(0).child(0).child(1).child(0).child(0).child(0).child(0);
    elements=e.child(1).child(2).child(0).children();
  }
  if (elements != null && elements.size() != 0) {
    progressMonitorIncrement=980 / (elements.size());
    elements.remove(0);
    for (    Element element : elements) {
      try {
        strDate=element.child(0).text();
        strName=element.child(1).text();
        strTitle=element.child(3).child(0).child(0).text();
        extractInfo(element.child(3).child(0).child(0).attr("String_Node_Str"));
      }
 catch (      Exception e) {
        System.out.println("String_Node_Str");
      }
      monitor.worked(progressMonitorIncrement);
    }
  }
  try {
    jsonGenerator.writeEndArray();
    jsonGenerator.flush();
    jsonGenerator.close();
  }
 catch (  IOException e) {
    e.printStackTrace();
  }
}

Fixed version (ground truth):
public void crawlSearch(String outputDir,String searchTerm1,String searchTerm2,String operator,Calendar from,Calendar to,String presidentName,String documentCategory,IProgressMonitor monitor) throws IOException {
  this.outputDir=outputDir;
  setDir();
  Elements elements=null;
  Connection conn=Jsoup.connect("String_Node_Str").data("String_Node_Str",documentCategory).data("String_Node_Str",presidentName);
  int progressMonitorIncrement=890;
  if (!searchTerm1.equals("String_Node_Str")) {
    conn=conn.data("String_Node_Str",searchTerm1).data("String_Node_Str",operator).data("String_Node_Str",searchTerm2);
  }
  if (from != null) {
    conn=conn.data("String_Node_Str",months[from.get(Calendar.MONTH)]).data("String_Node_Str",days[from.get(Calendar.DATE) - 1]).data("String_Node_Str",from.get(Calendar.YEAR) + "String_Node_Str").data("String_Node_Str",months[to.get(Calendar.MONTH)]).data("String_Node_Str",days[to.get(Calendar.DATE) - 1]).data("String_Node_Str",to.get(Calendar.YEAR) + "String_Node_Str");
    conn.timeout(120000);
    Document e=conn.post();
    Element et=e.body().child(0).child(0).child(1).child(0).child(0).child(0).child(0).child(1);
    elements=et.child(2).child(0).children();
  }
 else {
    Element e=conn.post().body().child(0).child(0).child(1).child(0).child(0).child(0).child(0).child(1);
    conn.timeout(120000);
    if (!searchTerm1.equals("String_Node_Str")) {
      elements=e.child(2).child(0).children();
    }
 else {
      elements=e.child(1).child(0).children();
    }
  }
  if (elements != null && elements.size() != 0) {
    progressMonitorIncrement=980 / (elements.size());
    elements.remove(0);
    for (    Element element : elements) {
      try {
        strDate=element.child(0).text();
        strName=element.child(1).text();
        strTitle=element.child(3).child(0).child(0).text();
        extractInfo(element.child(3).child(0).child(0).attr("String_Node_Str"));
      }
 catch (      Exception e) {
        System.out.println("String_Node_Str");
      }
      monitor.worked(progressMonitorIncrement);
    }
  }
  try {
    jsonGenerator.writeEndArray();
    jsonGenerator.flush();
    jsonGenerator.close();
  }
 catch (  IOException e) {
    e.printStackTrace();
  }
}