Program: 14993
Project: 14993
Buggy source:
private String getPostHtml(ReaderPost post){
  if (post == null)   return "String_Node_Str";
  final String content;
  if (post.hasText()) {
    content=post.getText();
  }
 else   if (post.hasFeaturedImage()) {
    content=String.format("String_Node_Str",post.getFeaturedImage());
  }
 else {
    content="String_Node_Str";
  }
  int maxImageWidth=getMaxImageWidth();
  int marginLarge=getResources().getDimensionPixelSize(R.dimen.reader_margin_large);
  int marginMedium=getResources().getDimensionPixelSize(R.dimen.reader_margin_medium);
  final String linkColor=HtmlUtils.colorResToHtmlColor(this,R.color.reader_hyperlink);
  final String greyLight=HtmlUtils.colorResToHtmlColor(this,R.color.grey_light);
  StringBuilder sbHtml=new StringBuilder("String_Node_Str");
  sbHtml.append("String_Node_Str");
  sbHtml.append("String_Node_Str");
  sbHtml.append("String_Node_Str").append("String_Node_Str").append("String_Node_Str");
  sbHtml.append("String_Node_Str").append(marginMedium).append("String_Node_Str");
  sbHtml.append("String_Node_Str").append(greyLight).append("String_Node_Str").append("String_Node_Str").append(marginLarge).append("String_Node_Str");
  sbHtml.append("String_Node_Str").append(linkColor).append("String_Node_Str");
  sbHtml.append("String_Node_Str");
  sbHtml.append("String_Node_Str");
  sbHtml.append("String_Node_Str");
  sbHtml.append("String_Node_Str").append(maxImageWidth).append("String_Node_Str");
  sbHtml.append("String_Node_Str");
  sbHtml.append("String_Node_Str");
  sbHtml.append("String_Node_Str").append(processVideos(content)).append("String_Node_Str");
  return sbHtml.toString();
}

Fixed version (ground truth):
private String getPostHtml(ReaderPost post){
  if (post == null)   return "String_Node_Str";
  String content;
  if (post.hasText()) {
    content=post.getText();
    if (post.isVideoPress)     content=makeVideoDiv(post.getFeaturedVideo(),post.getFeaturedImage()) + content;
  }
 else   if (post.hasFeaturedImage()) {
    content=String.format("String_Node_Str",post.getFeaturedImage());
  }
 else {
    content="String_Node_Str";
  }
  int maxImageWidth=getMaxImageWidth();
  int marginLarge=getResources().getDimensionPixelSize(R.dimen.reader_margin_large);
  int marginMedium=getResources().getDimensionPixelSize(R.dimen.reader_margin_medium);
  final String linkColor=HtmlUtils.colorResToHtmlColor(this,R.color.reader_hyperlink);
  final String greyLight=HtmlUtils.colorResToHtmlColor(this,R.color.grey_light);
  StringBuilder sbHtml=new StringBuilder("String_Node_Str");
  sbHtml.append("String_Node_Str");
  sbHtml.append("String_Node_Str");
  sbHtml.append("String_Node_Str").append("String_Node_Str").append("String_Node_Str");
  sbHtml.append("String_Node_Str").append(marginMedium).append("String_Node_Str");
  sbHtml.append("String_Node_Str").append(greyLight).append("String_Node_Str").append("String_Node_Str").append(marginLarge).append("String_Node_Str");
  sbHtml.append("String_Node_Str").append(linkColor).append("String_Node_Str");
  sbHtml.append("String_Node_Str");
  sbHtml.append("String_Node_Str");
  sbHtml.append("String_Node_Str");
  sbHtml.append("String_Node_Str").append(maxImageWidth).append("String_Node_Str");
  sbHtml.append("String_Node_Str");
  sbHtml.append("String_Node_Str");
  sbHtml.append("String_Node_Str").append(processVideos(content)).append("String_Node_Str");
  return sbHtml.toString();
}