WildFly Clustering: Server: JGroups implementation 1.0.13.Final API