Program: 46123
Project: 46123
Buggy source:
public synchronized void setNameTag(EventType eventType,String username,String alias,Color foregroundColor,Font font){
  logger.fine("String_Node_Str" + eventType + "String_Node_Str"+ username+ "String_Node_Str"+ alias+ "String_Node_Str"+ foregroundColor+ "String_Node_Str"+ font);
switch (eventType) {
case HIDE:
    labelHidden=true;
  removeLabel();
return;
case SMALL_FONT:
labelHidden=false;
removeLabel();
setHeight(SMALL_SIZE);
break;
case REGULAR_FONT:
labelHidden=false;
removeLabel();
setHeight(REGULAR_SIZE);
break;
case LARGE_FONT:
labelHidden=false;
removeLabel();
setHeight(LARGE_SIZE);
break;
case ENTERED_CONE_OF_SILENCE:
inConeOfSilence=true;
setForegroundColor(CONE_OF_SILENCE_COLOR);
break;
case EXITED_CONE_OF_SILENCE:
inConeOfSilence=false;
setForegroundColor(NOT_SPEAKING_COLOR);
break;
case STARTED_SPEAKING:
isSpeaking=true;
setForegroundColor(SPEAKING_COLOR);
break;
case STOPPED_SPEAKING:
isSpeaking=false;
setForegroundColor(NOT_SPEAKING_COLOR);
break;
case MUTE:
isMuted=true;
setForegroundColor(NOT_SPEAKING_COLOR);
removeLabel();
break;
case UNMUTE:
isMuted=false;
setForegroundColor(NOT_SPEAKING_COLOR);
break;
case CHANGE_NAME:
removeLabel();
usernameAlias=alias;
break;
default :
logger.warning("String_Node_Str" + eventType);
break;
}
if ((usernameAlias != null) && !username.equals(usernameAlias)) {
setFont(ALIAS_NAME_FONT);
updateLabel(getDisplayName(usernameAlias,isSpeaking,isMuted));
}
 else {
setFont(REAL_NAME_FONT);
updateLabel(getDisplayName(name,isSpeaking,isMuted));
}
if (foregroundColor != null) {
setForegroundColor(foregroundColor);
}
}

Fixed version (ground truth):
public synchronized void setNameTag(EventType eventType,String username,String alias,Color foregroundColor,Font font){
  logger.fine("String_Node_Str" + eventType + "String_Node_Str"+ username+ "String_Node_Str"+ alias+ "String_Node_Str"+ foregroundColor+ "String_Node_Str"+ font);
switch (eventType) {
case HIDE:
    labelHidden=true;
  removeLabel();
return;
case SMALL_FONT:
labelHidden=false;
removeLabel();
setHeight(SMALL_SIZE);
break;
case REGULAR_FONT:
labelHidden=false;
removeLabel();
setHeight(REGULAR_SIZE);
break;
case LARGE_FONT:
labelHidden=false;
removeLabel();
setHeight(LARGE_SIZE);
break;
case ENTERED_CONE_OF_SILENCE:
inConeOfSilence=true;
setForegroundColor(CONE_OF_SILENCE_COLOR);
break;
case EXITED_CONE_OF_SILENCE:
inConeOfSilence=false;
setForegroundColor(NOT_SPEAKING_COLOR);
break;
case STARTED_SPEAKING:
isSpeaking=true;
setForegroundColor(SPEAKING_COLOR);
break;
case STOPPED_SPEAKING:
isSpeaking=false;
setForegroundColor(NOT_SPEAKING_COLOR);
break;
case MUTE:
isMuted=true;
setForegroundColor(NOT_SPEAKING_COLOR);
removeLabel();
break;
case UNMUTE:
isMuted=false;
setForegroundColor(NOT_SPEAKING_COLOR);
break;
case CHANGE_NAME:
removeLabel();
usernameAlias=alias;
break;
default :
logger.warning("String_Node_Str" + eventType);
break;
}
if ((alias != null) && !alias.equals(username)) {
setFont(ALIAS_NAME_FONT);
usernameAlias=alias;
updateLabel(getDisplayName(usernameAlias,isSpeaking,isMuted));
}
 else {
setFont(REAL_NAME_FONT);
updateLabel(getDisplayName(name,isSpeaking,isMuted));
}
if (foregroundColor != null) {
setForegroundColor(foregroundColor);
}
}