1.1 --- a/src/Pure/General/exn.scala	Sat Feb 23 15:08:53 2013 +0100
     1.2 +++ b/src/Pure/General/exn.scala	Sat Feb 23 17:12:48 2013 +0100
     1.3 @@ -44,7 +44,9 @@
     1.4      else None
     1.5  
     1.6    def message(exn: Throwable): String =
     1.7 -    user_message(exn) getOrElse exn.toString
     1.8 +    user_message(exn) getOrElse
     1.9 +      (if (exn.isInstanceOf[InterruptedException]) "Interrupt"
    1.10 +       else exn.toString)
    1.11  
    1.12  
    1.13    /* recover from spurious crash */