JGroups 3.4.0-perfhack plugin
more shell script fixes