updates to PaxosAcceptor