docs: public static void saveSREConfiguration(IProgressMonitor monitor) throws CoreException {
  		final SARLEclipsePlugin plugin = SARLEclipsePlugin.getDefault();
  		plugin.getPreferences().put(getCurrentPreferenceKey(), getSREsAsXML(monitor));
  		plugin.savePreferences();
  	}