Implementation of the RAFT consensus protocol in JGroups