private void handleSave(IPreferenceStore store) { if (store != null && store.needsSaving() && store instanceof IPersistentPreferenceStore) { try { ((IPersistentPreferenceStore) store).save(); } catch (IOException e) { DartToolsPlugin.log(e); } } }