public void destroy(HttpSession session) throws Exception { tree.destroy(session); super.destroy(session); }
