org/whitehole/infra/json/JsonReader: Fix generation of pairs associating
names to numbers.