JGroups 3.5.x plugin