Move projects that consume JGroups (e.g. in jgroups-extras) to 5.0. The master branch would use 5.0, and the newly created (old) branch 4.x.

The projects are under https://github.com/jgroups-extras