docs: private static void initializeSREExtensions() {
  		final MultiStatus status = new MultiStatus(SARLEclipsePlugin.PLUGIN_ID,
  				IStatus.OK, "Exceptions occurred", null);  //$NON-NLS-1$
  		final IExtensionPoint extensionPoint = Platform.getExtensionRegistry().getExtensionPoint(
  				SARLEclipsePlugin.PLUGIN_ID, SARLEclipseConfig.EXTENSION_POINT_SARL_RUNTIME_ENVIRONMENT);
  		if (extensionPoint != null) {
  			Object obj;
  			for (final IConfigurationElement element : extensionPoint.getConfigurationElements()) {
  				try {
  					obj = element.createExecutableExtension("class"); //$NON-NLS-1$
  					if (obj instanceof ISREInstall) {
  						final ISREInstall sre = (ISREInstall) obj;
  						platformSREInstalls.add(sre.getId());
  						ALL_SRE_INSTALLS.put(sre.getId(), sre);
  					} else {
  						SARLEclipsePlugin.getDefault().logErrorMessage(
  								"Cannot instance extension point: " + element.getName()); //$NON-NLS-1$
  					}
  				} catch (CoreException e) {
  					status.add(e.getStatus());
  				}
  			}
  			if (!status.isOK()) {
  				//only happens on a CoreException
  				SARLEclipsePlugin.getDefault().getLog().log(status);
  			}
  		}
  	}