jgroups-raft 項目是 JGroups 框架對 Raft 的實現。