An implementation of the Tomcat SessionManager that persists data into Redis