Program: 177729
Project: 177729
Buggy source:
public JsonObject extractTweet(String html){
  JsonObject status=new JsonObject();
  Document doc=Jsoup.parse(html);
  Element tweet_div=doc.select("String_Node_Str").first();
  String tweet_text=doc.select("String_Node_Str").first().text();
  status.addProperty("String_Node_Str",tweet_text);
  String tweet_id=tweet_div.attr("String_Node_Str");
  status.addProperty("String_Node_Str",tweet_id);
  status.addProperty("String_Node_Str",Long.parseLong(tweet_id));
  String timestamp=doc.select("String_Node_Str").first().attr("String_Node_Str");
  Date created_at=new Date();
  created_at.setTime(Long.parseLong(timestamp) * 1000);
  status.addProperty("String_Node_Str",date_fmt.format(created_at));
  Elements js_stats_retweets=doc.select("String_Node_Str");
  if (!js_stats_retweets.isEmpty()) {
    status.addProperty("String_Node_Str",true);
    String count=js_stats_retweets.select("String_Node_Str").first().text();
    status.addProperty("String_Node_Str",Long.parseLong(count));
  }
 else {
    status.addProperty("String_Node_Str",false);
    status.addProperty("String_Node_Str",0);
  }
  Elements js_stats_favs=doc.select("String_Node_Str");
  status.addProperty("String_Node_Str",!js_stats_favs.isEmpty());
  JsonObject user=new JsonObject();
  String user_id=tweet_div.attr("String_Node_Str");
  user.addProperty("String_Node_Str",user_id);
  user.addProperty("String_Node_Str",Long.parseLong(user_id));
  String screen_name=tweet_div.attr("String_Node_Str");
  user.addProperty("String_Node_Str",screen_name);
  String user_name=tweet_div.attr("String_Node_Str");
  user.addProperty("String_Node_Str",user_name);
  status.add("String_Node_Str",user);
  return status;
}

Fixed version (ground truth):
public JsonObject extractTweet(String html){
  JsonObject status=new JsonObject();
  Document doc=Jsoup.parse(html);
  Element tweet_div=doc.select("String_Node_Str").first();
  String tweet_text=tweet_div.select("String_Node_Str").first().text();
  status.addProperty("String_Node_Str",tweet_text);
  String tweet_id=tweet_div.attr("String_Node_Str");
  status.addProperty("String_Node_Str",tweet_id);
  status.addProperty("String_Node_Str",Long.parseLong(tweet_id));
  String timestamp=doc.select("String_Node_Str").first().attr("String_Node_Str");
  Date created_at=new Date();
  created_at.setTime(Long.parseLong(timestamp) * 1000);
  status.addProperty("String_Node_Str",date_fmt.format(created_at));
  Elements js_stats_retweets=doc.select("String_Node_Str");
  if (!js_stats_retweets.isEmpty()) {
    status.addProperty("String_Node_Str",true);
    String count=js_stats_retweets.select("String_Node_Str").first().text();
    status.addProperty("String_Node_Str",Long.parseLong(count));
  }
 else {
    status.addProperty("String_Node_Str",false);
    status.addProperty("String_Node_Str",0);
  }
  Elements js_stats_favs=doc.select("String_Node_Str");
  status.addProperty("String_Node_Str",!js_stats_favs.isEmpty());
  JsonObject user=new JsonObject();
  String user_id=tweet_div.attr("String_Node_Str");
  user.addProperty("String_Node_Str",user_id);
  user.addProperty("String_Node_Str",Long.parseLong(user_id));
  String screen_name=tweet_div.attr("String_Node_Str");
  user.addProperty("String_Node_Str",screen_name);
  String user_name=tweet_div.attr("String_Node_Str");
  user.addProperty("String_Node_Str",user_name);
  status.add("String_Node_Str",user);
  return status;
}