Redis backed session management code for Jetty