Tomcat session manager based on MongoDB