PaxosState is not a field of message handlers; previously, it was passed as a paramter to the handler method