private Set<String> getServerNames(String host) {
ModelNode op = new ModelNode();
op.get("operation").set("read-children-names");
op.get("child-type").set("server-config");
op.get("address").add("host", host);
ModelNode result = executeForResult(new OperationBuilder(op).build());
Set<String> servers = new HashSet<String>();
for (ModelNode server : result.asList()) {
servers.add(server.asString());
}
return servers;