protected EditorKit createDefaultEditorKit() { return super.createDefaultEditorKit(); }
protected EditorKit createDefaultEditorKit() { return new StyledEditorKit(); }
	protected EditorKit createDefaultEditorKit() {		return super.createDefaultEditorKit(); // TODO	} // createDefaultEditorKit()