class AgentServlet extends HttpServlet {

    @Override
    public void destroy() {
        backendManager.destroy();
        if (discoveryMulticastResponder != null) {
            discoveryMulticastResponder.stop();
            discoveryMulticastResponder = null;
        }
        super.destroy();
    }

    public  AgentServlet();
    public  AgentServlet(Restrictor pRestrictor);

}