JsonDiff: deal with modified array elements