WildFly Clustering: Session manager abstract implementation 3.0.0.CR2 API