Catch up with JGroups 3.3.0