added comments to new methods in Paxos.java