+import "Prelude"
+
+importJava "java.lang.Exception" where
+ @JavaName "<init>"
+ createException :: String -> <Proc> Exception
+
+main = throw (createException "Foo") `catch` \(e :: Exception) -> print e
+--
+java.lang.Exception: Foo
+()
\ No newline at end of file