Redis-backed non-sticky session store for Apache Tomcat