Program: 7688
Project: 7688
Buggy source:
/** 
 * Get styled text
 * @return styled string
 */
public StyledString getStyledText(Object object){
  StyledString styled=new StyledString();
  final String remote=getDstRefName();
  final String local=getSrcRefName();
  styled.append(shortenRef(remote));
  if (!tag) {
    styled.append("String_Node_Str",StyledString.QUALIFIER_STYLER);
    styled.append(shortenRef(local),StyledString.QUALIFIER_STYLER);
  }
  styled.append(' ');
  if (result.getURIs().size() > 1)   styled.append(MessageFormat.format(UIText.RefUpdateElement_UrisDecoration,uri.toString()),StyledString.QUALIFIER_STYLER);
  styled.append(' ');
switch (getStatus()) {
case OK:
    if (update.isDelete())     styled.append(UIText.PushResultTable_statusOkDeleted,StyledString.DECORATIONS_STYLER);
 else {
      final Ref oldRef=getAdvertisedRemoteRef();
      if (oldRef == null) {
        if (tag)         styled.append(UIText.PushResultTable_statusOkNewTag,StyledString.DECORATIONS_STYLER);
 else         styled.append(UIText.PushResultTable_statusOkNewBranch,StyledString.DECORATIONS_STYLER);
      }
 else {
        String separator=update.isFastForward() ? "String_Node_Str" : "String_Node_Str";
        styled.append(MessageFormat.format(UIText.RefUpdateElement_CommitRangeDecoration,update.getNewObjectId().abbreviate(7).name(),separator,oldRef.getObjectId().abbreviate(7).name()),StyledString.DECORATIONS_STYLER);
        styled.append(' ');
        styled.append(MessageFormat.format(UIText.RefUpdateElement_CommitCountDecoration,Integer.valueOf(getChildren(this).length)),StyledString.COUNTER_STYLER);
      }
    }
  break;
case UP_TO_DATE:
styled.append(UIText.PushResultTable_statusUpToDate,StyledString.DECORATIONS_STYLER);
break;
case NON_EXISTING:
styled.append(UIText.PushResultTable_statusNoMatch,StyledString.DECORATIONS_STYLER);
break;
case REJECTED_NODELETE:
case REJECTED_NONFASTFORWARD:
case REJECTED_REMOTE_CHANGED:
styled.append(UIText.PushResultTable_statusRejected,StyledString.DECORATIONS_STYLER);
break;
case REJECTED_OTHER_REASON:
styled.append(UIText.PushResultTable_statusRemoteRejected,StyledString.DECORATIONS_STYLER);
break;
default :
break;
}
return styled;
}

Fixed version (ground truth):
/** 
 * Get styled text
 * @param object
 * @return styled string
 */
public StyledString getStyledText(Object object){
  StyledString styled=new StyledString();
  final String remote=getDstRefName();
  final String local=getSrcRefName();
  styled.append(shortenRef(remote));
  if (!tag) {
    styled.append("String_Node_Str",StyledString.QUALIFIER_STYLER);
    styled.append(shortenRef(local),StyledString.QUALIFIER_STYLER);
  }
  styled.append(' ');
  if (result.getURIs().size() > 1)   styled.append(MessageFormat.format(UIText.RefUpdateElement_UrisDecoration,uri.toString()),StyledString.QUALIFIER_STYLER);
  styled.append(' ');
switch (getStatus()) {
case OK:
    if (update.isDelete())     styled.append(UIText.PushResultTable_statusOkDeleted,StyledString.DECORATIONS_STYLER);
 else {
      final Ref oldRef=getAdvertisedRemoteRef();
      if (oldRef == null) {
        if (tag)         styled.append(UIText.PushResultTable_statusOkNewTag,StyledString.DECORATIONS_STYLER);
 else         styled.append(UIText.PushResultTable_statusOkNewBranch,StyledString.DECORATIONS_STYLER);
      }
 else {
        String separator=update.isFastForward() ? "String_Node_Str" : "String_Node_Str";
        styled.append(MessageFormat.format(UIText.RefUpdateElement_CommitRangeDecoration,update.getNewObjectId().abbreviate(7).name(),separator,oldRef.getObjectId().abbreviate(7).name()),StyledString.DECORATIONS_STYLER);
        styled.append(' ');
        styled.append(MessageFormat.format(UIText.RefUpdateElement_CommitCountDecoration,Integer.valueOf(getChildren(this).length)),StyledString.COUNTER_STYLER);
      }
    }
  break;
case UP_TO_DATE:
styled.append(UIText.PushResultTable_statusUpToDate,StyledString.DECORATIONS_STYLER);
break;
case NON_EXISTING:
styled.append(UIText.PushResultTable_statusNoMatch,StyledString.DECORATIONS_STYLER);
break;
case REJECTED_NODELETE:
case REJECTED_NONFASTFORWARD:
case REJECTED_REMOTE_CHANGED:
styled.append(UIText.PushResultTable_statusRejected,StyledString.DECORATIONS_STYLER);
break;
case REJECTED_OTHER_REASON:
styled.append(UIText.PushResultTable_statusRemoteRejected,StyledString.DECORATIONS_STYLER);
break;
default :
break;
}
return styled;
}