updated jsoneditor 7/16