super.performDefaults();
}
private void updateUI() {
for (final Button b : optionButtons) {
final CompilerOption key = (CompilerOption) b.getData();
b.setSelection(prefs.getBooleanOption(key));
}
final Iterable<String> paths = prefs.getPathsOption(CompilerOption.INCLUDE_DIRS);
if (paths != null) {
includeDirsText.setText(PathsOption.toString(paths));