Added Paxos class