HTMLEditorKitライブラリを使用してHTMLドキュメントをトラバースし、それをリンクに変更しようとしている初心者のJavaプログラマーです（主にそれを楽しむために、私が行っていることは問題なく手元で行うことができます）
しかし、私の問題は次のとおりです。HTMLファイルを変更した後、HTMLファイルに保存する方法がわからないHTMLDocumentが残ります。
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ファイルに保存する方法を教えてくれる人はいますか？