&& !defaultRuntime.equals(oldDefault)) {
restart = RestartDialog.openQuestion(getShell());
}
catalog.setRuntimes(runtimes, defaultRuntime.getName(), erlideRuntime.getName());
final RuntimeInfoPreferencesSerializer serializer = new RuntimeInfoPreferencesSerializer();
serializer.store(new RuntimeInfoCatalogData(runtimes, defaultRuntime.getName(),
erlideRuntime.getName()));
// save column widths
final IDialogSettings settings = ErlideUIPlugin.getDefault().getDialogSettings();
saveColumnSettings(settings, RUNTIMES_PREFERENCE_PAGE);