docs: protected static ISREInstall getSREInstallFor(ILaunchConfiguration configuration,
  			ILaunchConfigurationAccessor configAccessor,
  			IJavaProjectAccessor projectAccessor) throws CoreException {
  		assert configAccessor != null;
  		assert projectAccessor != null;
  		final ISREInstall sre;
  		if (configAccessor.getUseProjectSREFlag(configuration)) {
  			sre = getProjectSpecificSRE(configuration, true, projectAccessor);
  		} else if (configAccessor.getUseSystemSREFlag(configuration)) {
  			sre = SARLRuntime.getDefaultSREInstall();
  			verifySREValidity(sre, sre.getId());
  		} else  {
  			final String runtime = configAccessor.getSREId(configuration);
  			sre = SARLRuntime.getSREFromId(runtime);
  			verifySREValidity(sre, runtime);
  		}
  
  		if (sre == null) {
  			throw new CoreException(SARLEclipsePlugin.getDefault().createStatus(IStatus.ERROR,
  					Messages.SARLLaunchConfigurationDelegate_0));
  		}
  
  		return sre;
  	}