code: public static ISREInstall[] getSREInstalls() {
  		initializeSREs();
  		LOCK.lock();
  		try {
  			return ALL_SRE_INSTALLS.values().toArray(new ISREInstall[ALL_SRE_INSTALLS.size()]);
  		} finally {
  			LOCK.unlock();
  		}
  	}
docs: Returns the list of registered SREs. SRE types are registered via
  extension point with the name {@link SARLEclipseConfig#EXTENSION_POINT_SARL_RUNTIME_ENVIRONMENT}.
  Returns an empty list if there are no registered SREs.
  
  @return the list of registered SREs.