Ok, I see this on the normal logout as well - therefore I think it really may be related to the underlying HTTP Servlet Session lifetime