Fixed version of JGroups-raft