if (defaultRegistryProvider != null) return defaultRegistryProvider.getRegistry(); return null;
if (defaultRegistryProvider == null) return null; return defaultRegistryProvider.getRegistry();
	public static IExtensionRegistry getRegistry() {		if (defaultRegistryProvider != null)			return defaultRegistryProvider.getRegistry();		return null;	}