Changed ServiceManager to try OSGI if PlatformUI gives null for the
service.