public void save() { preferencesPanel.savePreferences(); }
public void restoreDefaults() { preferencesPanel.restoreDefaults(); }