Changed the JSON tool to use the actual source code of JSON Online Editor (https://github.com/josdejong/jsoneditor/)
Removed old tools