java - 字体标签 HTMLWriter

Question

我正在使用带有 HTMLDocument 的 JTextPane 通过 HTMLEditorKit 读取和写入 HTML。一切都很好，除了我放入的美妙的完全符合 W3C HTML5 的内容是用丑陋的、已弃用的、过时的 HTML3.2 编写的......

所以，我查看了 java.swing.text.html.HTMLWriter 的代码，我发现了这个：

    if (writeCSS) {
        convertToHTML40(from, to);
    } else {
        convertToHTML32(from, to);
    }

所以我以为我得救了，一个简单的 setWriteCSS(true) 会让我得到更好的结果......除了 writeCSS 是私有的并且没有 setter 来修改它的值：

    private boolean writeCSS = false;

我一直都知道 Sun 人是个有趣的家伙……反正我可以直接重写当前的 convert 方法，但最终的 HTML 仍然不是很好。

我敢肯定，有些人会遇到这个问题，并编写了自己的 HTMLWriter。我就是找不到。谁能给我指一个？

非常感谢 ！