Jetty session clustering with Redis