src/Pure/System/isabelle_system.scala

--- a/src/Pure/System/isabelle_system.scala	Wed Feb 24 22:40:19 2016 +0100
+++ b/src/Pure/System/isabelle_system.scala	Wed Feb 24 23:36:45 2016 +0100
@@ -337,7 +337,7 @@
         catch { case Exn.Interrupt() => proc.terminate; Exn.Interrupt.return_code }
       if (strict && rc == Exn.Interrupt.return_code) throw Exn.Interrupt()
 
-      Process_Result(stdout.join, stderr.join, rc, None)
+      Process_Result(rc, out_lines = stdout.join, err_lines = stderr.join)
     }
   }