Update json_tool.js