Program: 92840
Project: 92840
Buggy source:
/** 
 * Sent when a new selection occurs in the graphNode font list
 * @param e the selection event
 */
@Override public void widgetSelected(SelectionEvent e){
  font.store();
  lineColor.store();
  backGroundColor.store();
  textColor.store();
  font.setPreferenceName(SDViewPref.fontList[classItemList.getSelectionIndex()] + TEMP_TAG);
  font.load();
  backGroundColor.setPreferenceName(SDViewPref.fontList[classItemList.getSelectionIndex()] + SDViewPref.BACK_COLOR_POSTFIX + TEMP_TAG);
  backGroundColor.load();
  lineColor.setPreferenceName(SDViewPref.fontList[classItemList.getSelectionIndex()] + SDViewPref.FORE_COLOR_POSTFIX + TEMP_TAG);
  lineColor.load();
  textColor.setPreferenceName(SDViewPref.fontList[classItemList.getSelectionIndex()] + SDViewPref.TEXT_COLOR_POSTFIX + TEMP_TAG);
  textColor.load();
  if ((SDViewPref.fontList[classItemList.getSelectionIndex()].equals(SDViewPref.PREF_SYNC_MESS)) || (SDViewPref.fontList[classItemList.getSelectionIndex()].equals(SDViewPref.PREF_SYNC_MESS_RET)) || (SDViewPref.fontList[classItemList.getSelectionIndex()].equals(SDViewPref.PREF_ASYNC_MESS))|| (SDViewPref.fontList[classItemList.getSelectionIndex()].equals(SDViewPref.PREF_ASYNC_MESS_RET)))   backGroundColor.setEnabled(false,buttonArea);
 else   backGroundColor.setEnabled(true,buttonArea);
  if ((SDViewPref.fontList[classItemList.getSelectionIndex()].equals(SDViewPref.PREF_EXEC)) || (SDViewPref.fontList[classItemList.getSelectionIndex()].equals(SDViewPref.PREF_FRAME)))   textColor.setEnabled(false,buttonArea);
 else   textColor.setEnabled(true,buttonArea);
  if (SDViewPref.fontList[classItemList.getSelectionIndex()].equals(SDViewPref.PREF_FRAME))   font.setEnabled(false,buttonArea);
 else   font.setEnabled(true,buttonArea);
}

Fixed version (ground truth):
/** 
 * Sent when a new selection occurs in the graphNode font list
 * @param e the selection event
 */
@Override public void widgetSelected(SelectionEvent e){
  font.store();
  lineColor.store();
  backGroundColor.store();
  textColor.store();
  String[] fontList=SDViewPref.getFontList();
  font.setPreferenceName(fontList[classItemList.getSelectionIndex()] + TEMP_TAG);
  font.load();
  backGroundColor.setPreferenceName(fontList[classItemList.getSelectionIndex()] + SDViewPref.BACK_COLOR_POSTFIX + TEMP_TAG);
  backGroundColor.load();
  lineColor.setPreferenceName(fontList[classItemList.getSelectionIndex()] + SDViewPref.FORE_COLOR_POSTFIX + TEMP_TAG);
  lineColor.load();
  textColor.setPreferenceName(fontList[classItemList.getSelectionIndex()] + SDViewPref.TEXT_COLOR_POSTFIX + TEMP_TAG);
  textColor.load();
  if ((fontList[classItemList.getSelectionIndex()].equals(SDViewPref.PREF_SYNC_MESS)) || (fontList[classItemList.getSelectionIndex()].equals(SDViewPref.PREF_SYNC_MESS_RET)) || (fontList[classItemList.getSelectionIndex()].equals(SDViewPref.PREF_ASYNC_MESS))|| (fontList[classItemList.getSelectionIndex()].equals(SDViewPref.PREF_ASYNC_MESS_RET)))   backGroundColor.setEnabled(false,buttonArea);
 else   backGroundColor.setEnabled(true,buttonArea);
  if ((fontList[classItemList.getSelectionIndex()].equals(SDViewPref.PREF_EXEC)) || (fontList[classItemList.getSelectionIndex()].equals(SDViewPref.PREF_FRAME)))   textColor.setEnabled(false,buttonArea);
 else   textColor.setEnabled(true,buttonArea);
  if (fontList[classItemList.getSelectionIndex()].equals(SDViewPref.PREF_FRAME))   font.setEnabled(false,buttonArea);
 else   font.setEnabled(true,buttonArea);
}