docs: private static void fireDefaultSREChanged(ISREInstall previous, ISREInstall current) {
  		for (final Object listener : SRE_LISTENERS.getListeners()) {
  			((ISREInstallChangedListener) listener).defaultSREInstallChanged(previous, current);
  		}
  	}