We used to assume that the in-memory representation is in sync
when editing a stateful token. That is usually the case, since
editing requires knowing the token to edit, but resynchronising
here is the right thing to do.
Stateful tokens look just like cryptographic tokens to the client.
Unlike cryptographic tokens, they are stored in a file and are
revokable and editable.