JsonFactorizingDiff: replace Integer.MAX_VALUE with -1 for "not array index"

Integer.MAX_VALUE is legal. Although it will admittedly very rarely be hit.