src/Pure/System/download.scala

--- a/src/Pure/System/download.scala	Mon Sep 27 14:54:10 2010 +0200
+++ b/src/Pure/System/download.scala	Mon Sep 27 18:10:21 2010 +0200
@@ -42,7 +42,7 @@
       val outstream = new BufferedOutputStream(new FileOutputStream(file))
       try {
         var c: Int = 0
-        while ({ c = read(); c != -1}) outstream.write(c)
+        while ({ c = read(); c != -1 }) outstream.write(c)
       }
       finally { outstream.close }
       if (mod_time > 0) file.setLastModified(mod_time)