Program: 66140
Project: 66140
Buggy source:
public void widgetSelected(SelectionEvent e){
  Object oSource=e.getSource();
  if (listAlignmentButtons.contains(oSource)) {
    if (!((Button)oSource).getSelection()) {
      fdCurrent.getAlignment().unsetHorizontalAlignment();
      fdCurrent.getAlignment().unsetVerticalAlignment();
      updatePreview();
      return;
    }
    selectAllToggleButtons(false);
    ((Button)oSource).setSelection(true);
  }
 else   if (e.widget == btnAlignmentAuto) {
    if (btnAlignmentAuto.getSelection()) {
      disableAlignmentBtns();
      fdCurrent.getAlignment().unsetHorizontalAlignment();
      fdCurrent.getAlignment().unsetVerticalAlignment();
    }
 else {
      for (int i=0; i < listAlignmentButtons.size(); i++) {
        ((Button)listAlignmentButtons.get(i)).setEnabled(true);
      }
    }
    return;
  }
 else   if (e.widget == btnAutoRotation) {
    if (btnAutoRotation.getSelection()) {
      iscRotation.setEnabled(false);
      ascRotation.setEnabled(false);
      fdCurrent.unsetRotation();
    }
 else {
      iscRotation.setEnabled(true);
      ascRotation.setEnabled(true);
    }
    return;
  }
  if (oSource.equals(btnBold)) {
    if (btnBold.getSelection()) {
      fdCurrent.setBold(btnBold.getSelection());
    }
 else {
      fdCurrent.unsetBold();
    }
    updatePreview();
  }
 else   if (oSource.equals(btnItalic)) {
    if (btnItalic.getSelection()) {
      fdCurrent.setItalic(btnItalic.getSelection());
    }
 else {
      fdCurrent.unsetItalic();
    }
    updatePreview();
  }
 else   if (oSource.equals(btnUnderline)) {
    if (btnUnderline.getSelection()) {
      fdCurrent.setUnderline(btnUnderline.getSelection());
    }
 else {
      fdCurrent.unsetUnderline();
    }
    updatePreview();
  }
 else   if (oSource.equals(btnStrikethru)) {
    if (btnStrikethru.getSelection()) {
      fdCurrent.setStrikethrough(btnStrikethru.getSelection());
    }
 else {
      fdCurrent.unsetStrikethrough();
    }
    updatePreview();
  }
 else   if (oSource.equals(cmbFontNames)) {
    if (cmbFontNames.getText().equals(ChartUIUtil.FONT_AUTO)) {
      fdCurrent.setName(null);
    }
 else {
      fdCurrent.setName(cmbFontNames.getText());
    }
    updatePreview();
  }
 else   if (oSource.equals(cmbFontSizes)) {
    handleFontSize();
  }
 else   if (oSource.equals(this.btnATopLeft)) {
    fdCurrent.getAlignment().setHorizontalAlignment(HorizontalAlignment.LEFT_LITERAL);
    fdCurrent.getAlignment().setVerticalAlignment(VerticalAlignment.TOP_LITERAL);
    updatePreview();
  }
 else   if (oSource.equals(this.btnACenterLeft)) {
    fdCurrent.getAlignment().setHorizontalAlignment(HorizontalAlignment.LEFT_LITERAL);
    fdCurrent.getAlignment().setVerticalAlignment(VerticalAlignment.CENTER_LITERAL);
    updatePreview();
  }
 else   if (oSource.equals(this.btnABottomLeft)) {
    fdCurrent.getAlignment().setHorizontalAlignment(HorizontalAlignment.LEFT_LITERAL);
    fdCurrent.getAlignment().setVerticalAlignment(VerticalAlignment.BOTTOM_LITERAL);
    updatePreview();
  }
 else   if (oSource.equals(this.btnATopCenter)) {
    fdCurrent.getAlignment().setHorizontalAlignment(HorizontalAlignment.CENTER_LITERAL);
    fdCurrent.getAlignment().setVerticalAlignment(VerticalAlignment.TOP_LITERAL);
    updatePreview();
  }
 else   if (oSource.equals(this.btnACenter)) {
    fdCurrent.getAlignment().setHorizontalAlignment(HorizontalAlignment.CENTER_LITERAL);
    fdCurrent.getAlignment().setVerticalAlignment(VerticalAlignment.CENTER_LITERAL);
    updatePreview();
  }
 else   if (oSource.equals(this.btnABottomCenter)) {
    fdCurrent.getAlignment().setHorizontalAlignment(HorizontalAlignment.CENTER_LITERAL);
    fdCurrent.getAlignment().setVerticalAlignment(VerticalAlignment.BOTTOM_LITERAL);
    updatePreview();
  }
 else   if (oSource.equals(this.btnATopRight)) {
    fdCurrent.getAlignment().setHorizontalAlignment(HorizontalAlignment.RIGHT_LITERAL);
    fdCurrent.getAlignment().setVerticalAlignment(VerticalAlignment.TOP_LITERAL);
    updatePreview();
  }
 else   if (oSource.equals(this.btnACenterRight)) {
    fdCurrent.getAlignment().setHorizontalAlignment(HorizontalAlignment.RIGHT_LITERAL);
    fdCurrent.getAlignment().setVerticalAlignment(VerticalAlignment.CENTER_LITERAL);
    updatePreview();
  }
 else   if (oSource.equals(this.btnABottomRight)) {
    fdCurrent.getAlignment().setHorizontalAlignment(HorizontalAlignment.RIGHT_LITERAL);
    fdCurrent.getAlignment().setVerticalAlignment(VerticalAlignment.BOTTOM_LITERAL);
    updatePreview();
  }
}

Fixed version (ground truth):
public void widgetSelected(SelectionEvent e){
  Object oSource=e.getSource();
  if (listAlignmentButtons.contains(oSource)) {
    if (!((Button)oSource).getSelection()) {
      fdCurrent.getAlignment().unsetHorizontalAlignment();
      fdCurrent.getAlignment().unsetVerticalAlignment();
      updatePreview();
      return;
    }
    selectAllToggleButtons(false);
    ((Button)oSource).setSelection(true);
  }
 else   if (e.widget == btnAlignmentAuto) {
    if (btnAlignmentAuto.getSelection()) {
      disableAlignmentBtns();
      fdCurrent.getAlignment().unsetHorizontalAlignment();
      fdCurrent.getAlignment().unsetVerticalAlignment();
    }
 else {
      for (int i=0; i < listAlignmentButtons.size(); i++) {
        listAlignmentButtons.get(i).setEnabled(true);
      }
    }
    updatePreview();
  }
 else   if (e.widget == btnAutoRotation) {
    if (btnAutoRotation.getSelection()) {
      iscRotation.setEnabled(false);
      ascRotation.setEnabled(false);
      fdCurrent.unsetRotation();
    }
 else {
      iscRotation.setEnabled(true);
      ascRotation.setEnabled(true);
    }
    iscRotation.setValue(ChartUIUtil.getFontRotation(fdCurrent));
    ascRotation.setAngle(ChartUIUtil.getFontRotation(fdCurrent));
    ascRotation.redraw();
    updatePreview();
  }
 else   if (oSource.equals(btnBold)) {
    if (btnBold.getSelection()) {
      fdCurrent.setBold(btnBold.getSelection());
    }
 else {
      fdCurrent.unsetBold();
    }
    updatePreview();
  }
 else   if (oSource.equals(btnItalic)) {
    if (btnItalic.getSelection()) {
      fdCurrent.setItalic(btnItalic.getSelection());
    }
 else {
      fdCurrent.unsetItalic();
    }
    updatePreview();
  }
 else   if (oSource.equals(btnUnderline)) {
    if (btnUnderline.getSelection()) {
      fdCurrent.setUnderline(btnUnderline.getSelection());
    }
 else {
      fdCurrent.unsetUnderline();
    }
    updatePreview();
  }
 else   if (oSource.equals(btnStrikethru)) {
    if (btnStrikethru.getSelection()) {
      fdCurrent.setStrikethrough(btnStrikethru.getSelection());
    }
 else {
      fdCurrent.unsetStrikethrough();
    }
    updatePreview();
  }
 else   if (oSource.equals(cmbFontNames)) {
    if (cmbFontNames.getText().equals(ChartUIUtil.FONT_AUTO)) {
      fdCurrent.setName(null);
    }
 else {
      fdCurrent.setName(cmbFontNames.getText());
    }
    updatePreview();
  }
 else   if (oSource.equals(cmbFontSizes)) {
    handleFontSize();
  }
 else   if (oSource.equals(this.btnATopLeft)) {
    fdCurrent.getAlignment().setHorizontalAlignment(HorizontalAlignment.LEFT_LITERAL);
    fdCurrent.getAlignment().setVerticalAlignment(VerticalAlignment.TOP_LITERAL);
    updatePreview();
  }
 else   if (oSource.equals(this.btnACenterLeft)) {
    fdCurrent.getAlignment().setHorizontalAlignment(HorizontalAlignment.LEFT_LITERAL);
    fdCurrent.getAlignment().setVerticalAlignment(VerticalAlignment.CENTER_LITERAL);
    updatePreview();
  }
 else   if (oSource.equals(this.btnABottomLeft)) {
    fdCurrent.getAlignment().setHorizontalAlignment(HorizontalAlignment.LEFT_LITERAL);
    fdCurrent.getAlignment().setVerticalAlignment(VerticalAlignment.BOTTOM_LITERAL);
    updatePreview();
  }
 else   if (oSource.equals(this.btnATopCenter)) {
    fdCurrent.getAlignment().setHorizontalAlignment(HorizontalAlignment.CENTER_LITERAL);
    fdCurrent.getAlignment().setVerticalAlignment(VerticalAlignment.TOP_LITERAL);
    updatePreview();
  }
 else   if (oSource.equals(this.btnACenter)) {
    fdCurrent.getAlignment().setHorizontalAlignment(HorizontalAlignment.CENTER_LITERAL);
    fdCurrent.getAlignment().setVerticalAlignment(VerticalAlignment.CENTER_LITERAL);
    updatePreview();
  }
 else   if (oSource.equals(this.btnABottomCenter)) {
    fdCurrent.getAlignment().setHorizontalAlignment(HorizontalAlignment.CENTER_LITERAL);
    fdCurrent.getAlignment().setVerticalAlignment(VerticalAlignment.BOTTOM_LITERAL);
    updatePreview();
  }
 else   if (oSource.equals(this.btnATopRight)) {
    fdCurrent.getAlignment().setHorizontalAlignment(HorizontalAlignment.RIGHT_LITERAL);
    fdCurrent.getAlignment().setVerticalAlignment(VerticalAlignment.TOP_LITERAL);
    updatePreview();
  }
 else   if (oSource.equals(this.btnACenterRight)) {
    fdCurrent.getAlignment().setHorizontalAlignment(HorizontalAlignment.RIGHT_LITERAL);
    fdCurrent.getAlignment().setVerticalAlignment(VerticalAlignment.CENTER_LITERAL);
    updatePreview();
  }
 else   if (oSource.equals(this.btnABottomRight)) {
    fdCurrent.getAlignment().setHorizontalAlignment(HorizontalAlignment.RIGHT_LITERAL);
    fdCurrent.getAlignment().setVerticalAlignment(VerticalAlignment.BOTTOM_LITERAL);
    updatePreview();
  }
}