Regarding Servlet 3.0 programmatic security, when a session times out there is no way to invoke HttpServletRequest#logout().
Does the user remain logged into JAAS?
If so, what is best practice to handle logging out of JAAS after session times out?
How does the container handle the user's subsequent request to login again and create a new session after session timeout?
As an aside, what are the pros and cons of using the following three approaches to handle session timeout when using Servlet 3.0 programmatic security:
Make the @ManagedBean @SessionScoped LoginManager implement HttpSessionBindingListener and do something in valueUnbound.
Annotate a method in LoginManager with @PreDestroy.
Any other suggested approaches/ best practices advice would surely be appreciated.