Changing name JGroups group used for HttpSession replication

[brian.stansberry]

http://jira.jboss.com/jira/browse/JBAS-2760 is a user request to incorporate the jboss.partition.name property in the group name of the JGroups channel used by tc5-cluster-service.xml. I think this is a fine idea and would like to commit it for 4.0.4RC1, but it will cause a minor incompatibility with previous 4.0.x releases (i.e. users would have to change tc5-cluster-service.xml back to the old name in order to interoperate).

Any objections to the change?

[starksm64]

Let's keep it compatible using:

<attribute name="ClusterName">Tomcat-${jboss.partition.name:Cluster}</attribute>