Java 用HTMLeditor工具包辛苦工作

我是一个新手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的文件

有人能告诉我以后如何将修改后的HTMLdocument保存到html文件中吗？

您可以使用HTMLEditorKit类的。此处的示例代码：

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

---

正是我想要的，谢谢！=）