JGroups 3.4.0-perfhack plugin