code: public void destroy()
      {
          super.destroy();
          if (m_servletTask != null)
              m_servletTask.free();
          m_servletTask = null;
          ServletTask.destroyServlet();
      }
docs: Destroy this Servlet and any active applications.
  This is only called when all users are done using this Servlet.