スローされる Exception である value の型は、Exception のサブクラスでなければなりません。囲んでいる try 式の最初の catch 句にコントロールが転送されます (その式の宣言型は value の型のスーパークラスです)。try 式とは、スロー操作が実行される前に開始され、終了しなかった場合にこれを "囲んでいる" try 式のことです。

ありません。