this.defaultUIResourceProvider = defaultUIResourceProvider;
}
public void serviceChanged(ServiceEvent serviceEvent) {
if (serviceEvent.getType() == ServiceEvent.REGISTERED) {
UIResourceProvider uiResourceProvider = (UIResourceProvider)
bundleContext.getService(serviceEvent.getServiceReference());
resourceProviderSet.add(uiResourceProvider);
} else if (serviceEvent.getType() == ServiceEvent.UNREGISTERING) {
UIResourceProvider uiResourceProvider = (UIResourceProvider)
bundleContext.getService(serviceEvent.getServiceReference());
resourceProviderSet.remove(uiResourceProvider);
}
}