jgroups3 Android-compatible version of JGroups 3 based on commit https://github.com/belaban/JGroups/commit/4c9776a2ccf881783a7e43caef187eab262dbdbe