Changed Logout Servlet and its properties in web.xml for user logout