Implementation of Paxos in Java