Re: [infinispan-dev] tomcat infinispan session manager