docs: public ISREInstall getSelectedSRE() {
  		if (this.enableSystemWideSelector && this.systemSREButton.getSelection()) {
  			return SARLRuntime.getDefaultSREInstall();
  		}
  		if (!this.projectProviderFactories.isEmpty() && this.projectSREButton.getSelection()) {
  			return retreiveProjectSRE();
  		}
  		return getSpecificSRE();
  	}