src/Pure/System/isabelle_process.scala

--- a/src/Pure/System/isabelle_process.scala	Tue Apr 29 14:04:10 2014 +0200
+++ b/src/Pure/System/isabelle_process.scala	Tue Apr 29 14:50:40 2014 +0200
@@ -12,7 +12,7 @@
 
 
 class Isabelle_Process(
-  receiver: Prover.Message => Unit = Console.println(_),
+  receiver: Prover.Message => Unit = System.out.println(_),
   prover_args: List[String] = Nil)
 {
   /* text and tree data */