Тег шрифта HTMLWriter

Question

Я использую JTextPane с HTMLDocument внутри для чтения и записи HTML через HTMLEditorKit. Все работает довольно хорошо, за исключением того, что замечательный полноценный W3C HTML5, который я помещаю внутрь, написан тогда в уродливом, устаревшем, устаревшем HTML3.2...

Итак, я посмотрел код java.swing.text.html.HTMLWriter и обнаружил это:

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

Поэтому я подумал, что я был сохранен, и простой setWriteCSS(true) заставил бы меня получить намного лучший результат... За исключением того, что writeCSS является частным и нет установщика для изменения его значения:

    private boolean writeCSS = false;

Я всегда знал, что люди Sun были забавными парнями... В любом случае, я мог бы просто переопределить текущий метод конвертации, но окончательный HTML-код все еще не замечательный.

Я уверен, что есть люди, которые сталкиваются с этой проблемой, и которые написали свой собственный HTMLWriter. Я просто не могу найти ни одного. Кто-нибудь может указать мне один?

Большое спасибо!