It's strange, there is an integration test for the logout, and it's apparently working well. Might be different depending on the version of Jetty.
