Paxos implementation in java