Improvements of JSON Editor.