code: public static void clearSREConfiguration() throws CoreException {
  		final SARLEclipsePlugin plugin = SARLEclipsePlugin.getDefault();
  		plugin.getPreferences().remove(getCurrentPreferenceKey());
  		plugin.savePreferences();
  	}
docs: Remove the SRE configuration information from the preferences.
  
  @throws CoreException if trying to save the current state of SREs encounters a problem