Program: 23378
Project: 23378
Buggy source:
private void addPageDataRow(JsonObject pages,String url,String title,String label,String breadcrumb,Set<FetchedResource> examples){
  JsonObject jsonPage=new JsonObject();
  pages.add(url,jsonPage);
  jsonPage.addProperty("String_Node_Str",title);
  jsonPage.addProperty("String_Node_Str",label);
  jsonPage.addProperty("String_Node_Str",breadcrumb);
  String baseUrl=url.substring(0,url.indexOf("String_Node_Str"));
  String contentFile=pagesDir + File.separator + "String_Node_Str"+ File.separator+ "String_Node_Str"+ baseUrl+ "String_Node_Str";
  if (new File(contentFile).exists()) {
    jsonPage.addProperty("String_Node_Str","String_Node_Str" + baseUrl + "String_Node_Str");
  }
  contentFile=pagesDir + File.separator + "String_Node_Str"+ File.separator+ "String_Node_Str"+ baseUrl+ "String_Node_Str";
  if (new File(contentFile).exists()) {
    jsonPage.addProperty("String_Node_Str","String_Node_Str" + baseUrl + "String_Node_Str");
  }
  if (examples != null) {
    JsonArray exampleArray=new JsonArray();
    jsonPage.add("String_Node_Str",exampleArray);
    TreeSet<ImplementationGuidePageComponent> examplePages=new TreeSet<ImplementationGuidePageComponent>(new ImplementationGuidePageComponentComparator());
    for (    FetchedResource exampleResource : examples) {
      ImplementationGuidePageComponent page=pageForFetchedResource(exampleResource);
      if (page == null)       throw new Error("String_Node_Str" + exampleResource.getId());
 else       examplePages.add(page);
    }
    for (    ImplementationGuidePageComponent examplePage : examplePages) {
      JsonObject exampleItem=new JsonObject();
      exampleArray.add(exampleItem);
      exampleItem.addProperty("String_Node_Str",examplePage.getSource());
      exampleItem.addProperty("String_Node_Str",examplePage.getTitle());
    }
  }
}

Fixed version (ground truth):
private void addPageDataRow(JsonObject pages,String url,String title,String label,String breadcrumb,Set<FetchedResource> examples){
  JsonObject jsonPage=new JsonObject();
  pages.add(url,jsonPage);
  jsonPage.addProperty("String_Node_Str",title);
  jsonPage.addProperty("String_Node_Str",label);
  jsonPage.addProperty("String_Node_Str",breadcrumb);
  String baseUrl=url.substring(0,url.indexOf("String_Node_Str"));
  String contentFile=pagesDir + File.separator + "String_Node_Str"+ File.separator+ "String_Node_Str"+ baseUrl+ "String_Node_Str";
  if (new File(contentFile).exists()) {
    jsonPage.addProperty("String_Node_Str","String_Node_Str" + baseUrl + "String_Node_Str");
  }
  contentFile=pagesDir + File.separator + "String_Node_Str"+ File.separator+ "String_Node_Str"+ baseUrl+ "String_Node_Str";
  if (new File(contentFile).exists()) {
    jsonPage.addProperty("String_Node_Str","String_Node_Str" + baseUrl + "String_Node_Str");
  }
  if (examples != null) {
    JsonArray exampleArray=new JsonArray();
    jsonPage.add("String_Node_Str",exampleArray);
    TreeSet<ImplementationGuidePageComponent> examplePages=new TreeSet<ImplementationGuidePageComponent>(new ImplementationGuidePageComponentComparator());
    for (    FetchedResource exampleResource : examples) {
      ImplementationGuidePageComponent page=pageForFetchedResource(exampleResource);
      if (page != null)       examplePages.add(page);
    }
    for (    ImplementationGuidePageComponent examplePage : examplePages) {
      JsonObject exampleItem=new JsonObject();
      exampleArray.add(exampleItem);
      exampleItem.addProperty("String_Node_Str",examplePage.getSource());
      exampleItem.addProperty("String_Node_Str",examplePage.getTitle());
    }
  }
}