Library for Paxos in Java