>>400
catchを書いてExceptionで受けている以上、コンパイラは何かしらの未チェック例外が
tryブロックで発生すると仮定する。チェック例外なら「発生しない例外をcatchしようとして
るけど？」とか言われるが、すべてに合致するExceptionで受けてるから、「なんか知らんが、
ともかくなんか起きるんだろう。だってプログラマがそう言ってるし」と仮定する。

だからtryブロックもcatchブロックも両方とも実行される可能性があると仮定する。
おまえがそう書いたんだからなんか発生するんだよ。コンパイラには想像もつかないが
なんか発生するらしい。

するとVALUEが二回初期化される可能性があるということになって、コンパイルエラーに
なる。