tomcat-redis-session-manager-tomcat-7 Redis-backed non-sticky session store for Apache Tomcat