json.js/ JSON_Parse(): fix exception handler when JSON.parse() throws