Трудиться с 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();
}