getExtensionRegistry().removeRegistryChangeListener(this);
extensionRegistry.removeRegistryChangeListener(this);
	void stop() {		// stop all applications		stopAllApps();		context.removeBundleListener(this);		getExtensionRegistry().removeRegistryChangeListener(this);		// flush the apps		apps.clear();		product = null;		missingProductReported = false;	}