Restart Jenkins after updating credentials Tokens

tl;dr

If you need to update an API access token that is stored as a credential in Jenkins, you should restart Jenkins after updating it. Otherwise it might happen that the new token is not directly used in a subsequent build.