docs: protected void handleInstalledSREsButtonSelected() {
  		PreferencesUtil.createPreferenceDialogOn(
  				getControl().getShell(),
  				SREsPreferencePage.ID,
  				new String[] {SREsPreferencePage.ID},
  				null).open();
  	}