Program: 68956
Project: 68956
Buggy source:
public void setDialogSetting(OptionSetting setting){
switch (setting.getVariationLimit()) {
case 5:
    radioButtonV5.setSelected(true);
  break;
case 10:
radioButtonV10.setSelected(true);
break;
case 15:
radioButtonV15.setSelected(true);
break;
case 30:
radioButtonV30.setSelected(true);
break;
default :
radioButtonUnlimited.setSelected(true);
break;
}
if (setting.isA1OnTop()) {
radioButtonA1Top.setSelected(true);
}
 else {
radioButtonA1Bottom.setSelected(true);
}
if (setting.getBoardColor().equals(Color.WHITE)) {
radioButtonColorPureWhite.setSelected(true);
}
 else if (setting.getBoardColor().equals(Color.ORANGE.darker())) {
radioButtonColorOriginal.setSelected(true);
}
 else {
radioButtonColorBright.setSelected(true);
}
checkBoxAutoHideMoveNumber.setSelected(setting.isAutoHideMoveNumber());
checkBoxAutoHideAnalysisSuggession.setSelected(setting.isAutoHideAnalysisSuggession());
checkBoxAnalysisWindowShow.setSelected(setting.isAnalysisWindowShow());
checkBoxMouseMoveShow.setSelected(setting.isMouseOverShowMove());
checkBoxShowSuggession.setSelected(setting.isShowSuggession());
textFieldLeelazCommandLine.setText(setting.getLeelazCommandLine());
checkBoxShowMoveNumber.setSelected(setting.isShowMoveNumber());
if (setting.getNumberOfLastMovesShown() <= 0) {
setting.setNumberOfLastMovesShown(new OptionSetting().getNumberOfLastMovesShown());
}
if (setting.getNumberOfLastMovesShown() == Integer.MAX_VALUE) {
checkBoxMoveNumberLimit.setSelected(false);
}
 else {
checkBoxMoveNumberLimit.setSelected(true);
textFieldMoveNumberLimitCount.setText(String.valueOf(setting.getNumberOfLastMovesShown()));
}
checkBoxAutoEnterTryPlayingMode.setSelected(setting.isAutoEnterTryPlayingMode());
checkBoxMainWindowAlwaysOnTop.setSelected(setting.isMainWindowAlwaysOnTop());
}

Fixed version (ground truth):
public void setDialogSetting(OptionSetting setting){
switch (setting.getVariationLimit()) {
case 5:
    radioButtonV5.setSelected(true);
  break;
case 10:
radioButtonV10.setSelected(true);
break;
case 15:
radioButtonV15.setSelected(true);
break;
case 30:
radioButtonV30.setSelected(true);
break;
default :
radioButtonUnlimited.setSelected(true);
break;
}
if (setting.isA1OnTop()) {
radioButtonA1Top.setSelected(true);
}
 else {
radioButtonA1Bottom.setSelected(true);
}
if (setting.getBoardColor().equals(Color.WHITE)) {
radioButtonColorPureWhite.setSelected(true);
}
 else if (setting.getBoardColor().equals(Color.ORANGE.darker())) {
radioButtonColorOriginal.setSelected(true);
}
 else {
radioButtonColorBright.setSelected(true);
}
checkBoxPlayoutsInShortForm.setSelected(setting.isPlayoutsInShortForm());
checkBoxAnalysisWindowShow.setSelected(setting.isAnalysisWindowShow());
checkBoxMouseMoveShow.setSelected(setting.isMouseOverShowMove());
checkBoxShowSuggestion.setSelected(setting.isShowSuggestion());
textFieldLeelazCommandLine.setText(setting.getLeelazCommandLine());
checkBoxShowMoveNumber.setSelected(setting.isShowMoveNumber());
if (setting.getNumberOfLastMovesShown() <= 0) {
setting.setNumberOfLastMovesShown(new OptionSetting().getNumberOfLastMovesShown());
}
if (setting.getNumberOfLastMovesShown() == Integer.MAX_VALUE) {
checkBoxMoveNumberLimit.setSelected(false);
}
 else {
checkBoxMoveNumberLimit.setSelected(true);
textFieldMoveNumberLimitCount.setText(String.valueOf(setting.getNumberOfLastMovesShown()));
}
checkBoxAutoEnterTryPlayingMode.setSelected(setting.isAutoEnterTryPlayingMode());
checkBoxMainWindowAlwaysOnTop.setSelected(setting.isMainWindowAlwaysOnTop());
}