code: public static void saveSREConfiguration(IProgressMonitor monitor) throws CoreException {
  		final SARLEclipsePlugin plugin = SARLEclipsePlugin.getDefault();
  		plugin.getPreferences().put(getCurrentPreferenceKey(), getSREsAsXML(monitor));
  		plugin.savePreferences();
  	}
docs: Saves the SRE configuration information to the preferences. This includes
  the following information:
  <ul>
  <li>The list of all defined ISREInstall instances.</li>
  <li>The default SRE.</li>
  </ul>
  This state will be read again upon first access to SRE
  configuration information.
  
  @param monitor the progression monitor, or <code>null</code>.
  @throws CoreException if trying to save the current state of SREs encounters a problem