Update jsoneditor.js