Tomcat Session Management with Redis