JsonDiff: remove three unused variables