Трудиться с HTMLEditorKit

Question

Я начинающий Java-программист, пытающийся использовать библиотеку HTMLEditorKit для обхода HTML-документа и изменения его в моих ссылках (в основном, для удовольствия, то, что я делаю, может быть сделано без проблем).

Но моя проблема заключается в следующем: после того, как я изменил свой HTML-файл, у меня остался HTMLDocument, который я понятия не имею, как сохранить обратно в HTML-файл.

HTMLEditorKit kit = new HTMLEditorKit();
File file = new File("local file")
HTMLDocument doc = (HTMLDocument) kit.createDefaultDocument(); 
doc.putProperty("IgnoreCharsetDirective", Boolean.TRUE);
InputStreamReader(url.openConnection().getInputStream()); 
FileReader HTMLReader = new FileReader(file); 
kit.read(HTMLReader, doc, 0); 

после этого я делаю свое дело с элементом "doc".

Теперь, когда я закончил с этим, я просто хочу сохранить его обратно, предпочтительно перезаписывая файл, из которого я получил HTML.

Кто-нибудь может сказать мне, как сохранить измененный HTML-документ в HTML-файл впоследствии?

Answer 1

Вы можете использовать метод записи класса HTMLEditorKit. Пример кода здесь:

FileWriter writer = new FileWriter("local file");
try {
  kit.write(writer, doc, 0, doc.getLength());
} finally {
  writer.close();
}