update to jgroups file-ping.xml