code: public void destroy() {
          if (mEngine != null) {
              mLog.info("Destroying Engine");
              mEngine.destroy();
          }
          mLog.info("Destroying TeaServlet");
          super.destroy();
      }
docs: Destroys the TeaServlet and the user's application.