autoUpdateCheckBox.setEnabled(false);
settingMediator.add(Settings.DO_AUTO_UPDATE, autoUpdateCheckBox);
// the auto updater is error prone, therefore it has been disabled
// until fixed
//builder.append(autoUpdateCheckBox, 4);
builder.nextLine();
autoUpdateIntervalModel = new SpinnerNumberModel(1, 1, Integer.MAX_VALUE, 30);
settingMediator.add(Settings.AUTO_UPDATE_INTERVAL, autoUpdateIntervalModel);
autoUpdateIntervalSpinner = new JSpinner(autoUpdateIntervalModel);
autoUpdateIntervalSpinner.setEditor(new JSpinner.NumberEditor(autoUpdateIntervalSpinner, "# s"));