src/Pure/Build/database_progress.scala

       }
       else Nil
     }
 
     _consumer = Consumer_Thread.fork_bulk[Progress.Output](name = "Database_Progress.consumer")(
-      bulk = _ => true, timeout = timeout,
+      bulk = _ => true,
+      timeout = timeout,
       consume = { bulk_output =>
         val results =
           if (bulk_output.isEmpty) consume(Nil)
           else bulk_output.grouped(200).toList.flatMap(consume)
         (results, true) })