ui: use properly configured UIUtil.getHTMLEditorKit()