public static boolean isPlatformSRE ( ISREInstall sre ) { if ( sre != null ) { LOCK . lock ( ) ; try { return platformSREInstalls . contains ( sre . getId ( ) ) ; } finally { LOCK . unlock ( ) ; } } return false ; }
Replies if the given SRE is provided by the Eclipse platform through an extension point .