} servlet.destroy();
}
	public void destroy() {		ClassLoader original = Thread.currentThread().getContextClassLoader();		try {			Thread.currentThread().setContextClassLoader(registeredContextClassLoader);			super.destroy();		} finally {			Thread.currentThread().setContextClassLoader(original);		}		servlet.destroy();	}