pool = null;
	void close() {		active = false;		managedService.unregister();		managedServiceFactory.unregister();		if (defaultHttpListener != null) {			defaultHttpListener.close();			defaultHttpListener = null;		}		if (defaultHttpsListener != null) {			defaultHttpsListener.close();			defaultHttpsListener = null;		}		Enumeration listeners = configuredListeners.elements();		while (listeners.hasMoreElements()) {			HttpListener listener = (HttpListener) listeners.nextElement();			listener.close();		}		pool.close();		pool = null;	}