src/Pure/System/system_channel.scala

--- a/src/Pure/System/system_channel.scala	Wed Oct 16 11:35:04 2013 +0200
+++ b/src/Pure/System/system_channel.scala	Wed Oct 16 11:48:42 2013 +0200
@@ -86,6 +86,7 @@
   def rendezvous(): (OutputStream, InputStream) =
   {
     val socket = server.accept
+    socket.setTcpNoDelay(true)
     (socket.getOutputStream, socket.getInputStream)
   }