docs: public static void clearSREConfiguration() throws CoreException {
  		final SARLEclipsePlugin plugin = SARLEclipsePlugin.getDefault();
  		plugin.getPreferences().remove(getCurrentPreferenceKey());
  		plugin.savePreferences();
  	}