docs: public static ISREInstall getDefaultSREInstall() {
  		final ISREInstall install = getSREFromId(getDefaultSREId());
  		if (install != null && install.getValidity().isOK()) {
  			return install;
  		}
  		// if the default SRE goes missing, re-detect
  		LOCK.lock();
  		try {
  			//defaultSREId = null;
  			initializeSREs();
  		} finally {
  			LOCK.unlock();
  		}
  		return getSREFromId(getDefaultSREId());
  	}