JsonFactorizingDiff: more changes

In particular, remove unneeded accessors.