WildFly Clustering: Session manager abstract implementation 5.0.20.Final API