src/Pure/Tools/server.scala

   {
     def apply(socket: Socket): Connection =
       new Connection(socket)
   }
 
-  class Connection private(socket: Socket)
+  class Connection private(val socket: Socket)
   {
     override def toString: String = socket.toString
 
     def close() { socket.close }