diff -r f65c717952c0 -r d37cfca69887 src/Pure/General/download.scala
--- a/src/Pure/General/download.scala	Sat Jan 02 00:08:47 2010 +0100
+++ b/src/Pure/General/download.scala	Sat Jan 02 01:14:49 2010 +0100
@@ -29,8 +29,8 @@
     (connection, new BufferedInputStream(stream))
   }
 
-  // FIXME error handling
-  def file(parent: Component, url: URL, file: File)
+  // FIXME error handling (dialogs)
+  def file(parent: Component, url: URL, file: File): Boolean =
   {
     val outstream = new BufferedOutputStream(new FileOutputStream(file))