docs: protected void refreshSREListUI() {
  		// Refreshes the SRE listing after a SRE install notification, might not
  		// happen on the UI thread.
  		final Display display = Display.getDefault();
  		if (display.getThread().equals(Thread.currentThread())) {
  			if (!this.sresList.isBusy()) {
  				this.sresList.refresh();
  			}
  		} else {
  			display.syncExec(new Runnable() {
  				@SuppressWarnings("synthetic-access")
  				@Override
  				public void run() {
  					if (!SREsPreferencePage.this.sresList.isBusy()) {
  						SREsPreferencePage.this.sresList.refresh();
  					}
  				}
  			});
  		}
  	}