properties schema for editor
Update Karma version
Merge branch 'json-schema' into develop