Modified Paxos.java, MessageCommunication.java