Re: [jboss-cluster-dev] JGroups preference for IPv6