WildFly Clustering: Server API 7.0.0.Final API