anchor.diff:  
   This chapter describes the most frequently used protocols, and their configuration.
       
  -
   Meanwhile, we recommend that users should copy one of the predefined configurations (shipped with jgroups-raft), e.g.
   +raft.xml+, and make only minimal changes to it.
   
  
positive.code: [[RAFT]]
  === RAFT
  
  ${RAFT}
  
negative.code: [[CLIENT]]
  === CLIENT
  
  The `CLIENT` protocol needs to be somewhere above `RAFT`. It keeps track of the current Raft leader and redirects
  requests to the right leader. If there is no leader, e.g. because there's no majority to elect one, an exception will
  be thrown.
  
  In the future, `CLIENT` will also handle requests received from remote clients (e.g. via a TCP socket), possibly
  written in a different language.
  
  ${CLIENT}
  
  
  [[ELECTION]]
  === ELECTION
  
  `ELECTION` is the protocol which performs leader election, as defined by Raft.
  Its attributes define the election timeout and the heartbeat interval (see Raft for details).
  
  ${ELECTION}
  
  