code: public void stop() throws ServerLifecycleException {
  		try {
  			contextHandler.stop();
  			contextHandlerCollection.removeHandler(contextHandler);
  			contextHandlerCollection.mapContexts();
  			LOG.info("WebDavServlet stopped: " + contextPath);
  		} catch (Exception e) {
  			throw new ServerLifecycleException("Servlet couldn't be stopped", e);
  		}
  	}
docs: Convenience function to stop this servlet.
  
  @throws ServerLifecycleException If the servlet could not be stopped for any unexpected reason.