diff -r 953953504590 -r 84990c95712d src/Pure/General/path.scala
--- a/src/Pure/General/path.scala	Tue Jul 26 20:35:42 2022 +0200
+++ b/src/Pure/General/path.scala	Wed Jul 27 09:03:06 2022 +0200
@@ -11,7 +11,6 @@
 import java.util.{Map => JMap}
 import java.io.{File => JFile}
 import java.nio.file.{Path => JPath}
-import java.net.{URI, URL}
 
 import scala.util.matching.Regex
 
@@ -314,9 +313,6 @@
   def is_file: Boolean = file.isFile
   def is_dir: Boolean = file.isDirectory
 
-  def uri: URI = file.toURI
-  def url: URL = uri.toURL
-
   def java_path: JPath = file.toPath
 
   def absolute_file: JFile = File.absolute(file)