The standard JSON encoding has no guarantee of the order of keys, thus token values could differ, but still be equivalent.