Modifed Paxos.java