Paxos for Java. A fully functioning implementation of general paxos.