JsonDiff: more uses of IndexedJsonArray