Paxos Made Moderately Complex

The Java code for the pseudo-code in the paper Paxos Made Moderately Complex is available here.