src/Pure/Tools/server.scala

--- a/src/Pure/Tools/server.scala	Sat Feb 24 10:55:16 2024 +0100
+++ b/src/Pure/Tools/server.scala	Sat Feb 24 11:05:11 2024 +0100
@@ -121,7 +121,7 @@
     val socket: ServerSocket = new ServerSocket(port0, 50, Server.localhost)
     def port: Int = socket.getLocalPort
     def address: String = print_address(port)
-    val password: String = UUID.random().toString
+    val password: String = UUID.random_string()
 
     override def toString: String = print(port, password)