A session manager and session store for tomcat