After initialization we tried to inspect the cluster view using the CLI:

[standalone@localhost:9990 /] /subsystem=jgroups/channel=ee:read-attribute(name=view,include-defaults=true)

The result is "undefined", while the server.log shows no errors. In particular, according to the server.log (see attachment), the server (here win-3) is correctly added to the view.

With an EAP 8.0 server the result of the CLI command looks like this:
[standalone@localhost:9990 /] /subsystem=jgroups/channel=ee:read-attribute(name=view,include-defaults=true)