code: public static boolean isPlatformSRE(ISREInstall sre) {
  		if (sre != null) {
  			LOCK.lock();
  			try {
  				return platformSREInstalls.contains(sre.getId());
  			} finally {
  				LOCK.unlock();
  			}
  		}
  		return false;
  	}
docs: Replies if the given SRE is provided by the Eclipse platform
  through an extension point.
  
  @param sre the sre.
  @return <code>true</code> if the SRE was provided through an extension
  point.