A Java implementation of basic Paxos algorithm. This is extracted from my group assignment of Distributed Algorithms, the other teammates' work has been removed or rewritten.