A Paxos implementation in Java