Completed translation of "JSON revisited"

This pull request resolves issue #70