Minor update to the utility converting JwtToken to ServerAccessToken