docs: public void savePreferences() {
  		final IEclipsePreferences prefs = getPreferences();
  		try {
  			prefs.flush();
  		} catch (BackingStoreException e) {
  			getILog().log(createStatus(IStatus.ERROR, e));
  		}
  	}