diff -r cff4576218fa -r 5d77df3d30d1 src/Pure/General/http.scala
--- a/src/Pure/General/http.scala	Sat Feb 17 21:28:28 2024 +0100
+++ b/src/Pure/General/http.scala	Sun Feb 18 12:32:54 2024 +0100
@@ -9,7 +9,7 @@
 
 import java.io.{File => JFile}
 import java.nio.file.Files
-import java.net.{InetSocketAddress, URI, URL, HttpURLConnection}
+import java.net.{InetSocketAddress, URI, HttpURLConnection}
 import com.sun.net.httpserver.{HttpExchange, HttpHandler, HttpServer}