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