public static void clearSREConfiguration() throws CoreException {
		final SARLEclipsePlugin plugin = SARLEclipsePlugin.getDefault();
		plugin.getPreferences().remove(getCurrentPreferenceKey());
		plugin.savePreferences();
	}
public static void clearSREConfiguration ( ) throws CoreException { final SARLEclipsePlugin plugin = SARLEclipsePlugin . getDefault ( ) ; plugin . getPreferences ( ) . remove ( getCurrentPreferenceKey ( ) ) ; plugin . savePreferences ( ) ; }
Remove the SRE configuration information from the preferences.

@throws CoreException if trying to save the current state of SREs encounters a problem