WildFly Clustering: Session manager implementation for embedded Infinispan 1.1.0.CR4 API