src/Pure/General/http.scala

--- a/src/Pure/General/http.scala	Sat Feb 24 10:55:16 2024 +0100
+++ b/src/Pure/General/http.scala	Sat Feb 24 11:05:11 2024 +0100
@@ -114,7 +114,7 @@
       connection.setRequestMethod("POST")
       connection.setDoOutput(true)
 
-      val boundary = UUID.random().toString
+      val boundary = UUID.random_string()
       connection.setRequestProperty(
         "Content-Type", "multipart/form-data; boundary=" + quote(boundary))
 
@@ -277,7 +277,7 @@
 
   def server(
     port: Int = 0,
-    name: String = UUID.random().toString,
+    name: String = UUID.random_string(),
     services: List[Service] = isabelle_services
   ): Server = {
     val http_server = HttpServer.create(new InetSocketAddress(isabelle.Server.localhost, port), 0)