update to jgroups 3.2 configuration, use TCPPING for cluster pinging. configured modeshape-level clustering too. added java properties for using different jgroup configurations.