Maintains java HttpSessions inside a Redis database
For now I am stopping work on this project. It seems that there are several options for custom session implementation in tomcat. The configuration of this is research-intensive but not necessarily code-changing or difficult to prepare for.