src/Pure/General/download.scala

     if (length != -1) monitor.setMaximum(length)
 
     (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))
 
     val (connection, instream) = stream(parent, url)
     val mod_time = connection.getLastModified