Did a bunch of stuff in Paxos.java...lots to fix/add though