/** * Save the configuration preferences if they have been loaded. * * @param none * @return void */ public void saveConfigPrefs() { if (this.gemPreferences != null) { try { this.gemPreferences.flush(); } catch (final BackingStoreException e) { GemUtilities.logExceptionDetail(e); } } }
/** * Answer the configuration location for this plug-in. * * @param none * @return URI The GEM plugin's configuration directory (not <code>null</code>) */ public URI getConfigDir() { final Location location = Platform.getConfigurationLocation(); if (location != null) { final URL configURL = location.getURL(); if (configURL != null && configURL.getProtocol().startsWith("file")) { // $NON-NLS-1$ try { return configURL.toURI(); } catch (final URISyntaxException e) { GemUtilities.logExceptionDetail(e); } } } return null; }