Distinct system properties for mcast_port in each config file

Using a startup switch for the JGroups UDP mcast_port is not possible in a non-multiplexer environment, because every channel should use a separate port. But, we can add some properties to the standard config files to make it easier for users to set the ports via -D.

cluster-service.xml – ${jboss.hapartition.mcast_port:45566}
jboss-web-cluster.sar/META-INF/jboss-service.xml – ${jboss.webpartition.mcast_port:45577}
ejb3-entity-cache-service.xml – ${jboss.ejb3entitypartition.mcast_port:43333}
ejb3-clustered-sfsbcache-service.xml – ${jboss.ejb3sfsbpartition.mcast_port:45551}