docs: public void updateExternalSREButtonLabels() {
  		if (this.enableSystemWideSelector) {
  			final ISREInstall wideSystemSRE = SARLRuntime.getDefaultSREInstall();
  			final String wideSystemSRELabel;
  			if (wideSystemSRE == null) {
  				wideSystemSRELabel = Messages.SREConfigurationBlock_0;
  			} else {
  				wideSystemSRELabel = wideSystemSRE.getName();
  			}
  			this.systemSREButton.setText(MessageFormat.format(
  					Messages.SREConfigurationBlock_1, wideSystemSRELabel));
  		}
  		if (!this.projectProviderFactories.isEmpty()) {
  			final ISREInstall projectSRE = retreiveProjectSRE();
  			final String projectSRELabel;
  			if (projectSRE == null) {
  				projectSRELabel = Messages.SREConfigurationBlock_0;
  			} else {
  				projectSRELabel = projectSRE.getName();
  			}
  			this.projectSREButton.setText(MessageFormat.format(
  					Messages.SREConfigurationBlock_3, projectSRELabel));
  		}
  	}