RegistryProviderFactory.releaseDefault();
	private void stopRegistry() {		if (defaultRegistry != null) {			defaultProvider.release();			registryRegistration.unregister();			defaultRegistry.stop(masterRegistryKey);		}	}