return (HTMLEditorKit) e.getEditorKit();
EditorKit d = e.getEditorKit(); if (d instanceof HTMLEditorKit) return (HTMLEditorKit) d; throw new IllegalArgumentException("EditorKit is not a HTMLEditorKit.");
      protected HTMLEditorKit getHTMLEditorKit(JEditorPane e)       {        return (HTMLEditorKit) e.getEditorKit();      }