プログラマチック・セキュリティー・ログアウトで HttpSession invalidate メソッドを使用しないでください。 代わりに、Servlet 3.0 仕様の一部として Java EE 6 に導入された HttpServletRequest logout メソッドを使用してください。
詳しくは、 HttpServletRequest を参照してください。