Java Paxos implementation