docs: private static ISREInstall getProjectSpecificSRE(ILaunchConfiguration configuration, boolean verify,
  			IJavaProjectAccessor projectAccessor) throws CoreException {
  		assert projectAccessor != null;
  		final IJavaProject jprj = projectAccessor.get(configuration);
  		if (jprj != null) {
  			final IProject prj = jprj.getProject();
  			assert prj != null;
  
  			// Get the SRE from the extension point
  			ISREInstall sre = getSREFromExtension(prj, verify);
  			if (sre != null) {
  				return sre;
  			}
  
  			// Get the SRE from the default project configuration
  			final ProjectSREProvider provider = new EclipseIDEProjectSREProvider(prj);
  			sre = provider.getProjectSREInstall();
  			if (sre != null) {
  				if (verify) {
  					verifySREValidity(sre, sre.getId());
  				}
  				return sre;
  			}
  		}
  		final ISREInstall sre = SARLRuntime.getDefaultSREInstall();
  		if (verify) {
  			verifySREValidity(sre, (sre == null) ? Messages.SARLLaunchConfigurationDelegate_8 : sre.getId());
  		}
  		return sre;
  	}