IPreferenceStore store = getPreferenceStore();
if (store instanceof IPersistentPreferenceStore) {
IPersistentPreferenceStore pstore = (IPersistentPreferenceStore) store;
if (pstore.needsSaving()) {
try {
pstore.save();
} catch (IOException up) {
// hmm, what should we do?
}
}
}