src/Pure/General/exn.scala

--- a/src/Pure/General/exn.scala	Wed Jul 30 09:40:28 2014 +0200
+++ b/src/Pure/General/exn.scala	Thu Jul 31 20:09:30 2014 +0200
@@ -82,7 +82,7 @@
     }
     else if (exn.getClass == runtime_exception) {
       val msg = exn.getMessage
-      Some(if (msg == null) "Error" else msg)
+      Some(if (msg == null || msg == "") "Error" else msg)
     }
     else if (exn.isInstanceOf[RuntimeException]) Some(exn.toString)
     else None