josdejong/jsoneditor#104 sample and workaround