tuned error message;

--- a/src/Pure/library.scala	Mon Jul 11 17:10:32 2011 +0200
+++ b/src/Pure/library.scala	Mon Jul 11 17:11:54 2011 +0200
@@ -27,7 +27,7 @@
       exn match {
         case e: RuntimeException =>
           val msg = e.getMessage
-          Some(if (msg == null) "" else msg)
+          Some(if (msg == null) "Error" else msg)
         case _ => None
       }
   }