docs: public static void setDefaultSREInstall(ISREInstall sre, IProgressMonitor monitor,
  			boolean savePreference) throws CoreException {
  		initializeSREs();
  		ISREInstall previous = null;
  		ISREInstall current = null;
  		LOCK.lock();
  		try {
  			if (defaultSREId != null) {
  				previous = getSREFromId(defaultSREId);
  			}
  			defaultSREId = sre == null ? null : sre.getId();
  			if (savePreference) {
  				saveSREConfiguration(monitor);
  			}
  			if (defaultSREId != null) {
  				current = getSREFromId(defaultSREId);
  			}
  		} finally {
  			LOCK.unlock();
  		}
  		if (previous != current) {
  			fireDefaultSREChanged(previous, current);
  		}
  	}