code: public static void setDefaultSREInstall(ISREInstall sre, IProgressMonitor monitor) throws CoreException {
  		setDefaultSREInstall(sre, monitor, true);
  	}
docs: Sets a SRE as the system-wide default SRE, and notifies registered SRE install
  change listeners of the change.
  
  @param sre The SRE to make the default. May be <code>null</code> to clear
  the default.
  @param monitor progress monitor or <code>null</code>
  @throws CoreException if trying to set the default SRE install encounters problems