src/Pure/Tools/server.scala

 
   abstract class Handler(port0: Int)
   {
     val socket: ServerSocket = new ServerSocket(port0, 50, Server.localhost)
     def port: Int = socket.getLocalPort
-    val password: String = UUID.random_string()
+    val password: String = UUID.random().toString
 
     override def toString: String = print(port, password)
 
     def handle(connection: Server.Connection): Unit