WildFly Clustering: Session manager implementation for embedded Infinispan 4.0.1.Final API