the jvm verifier is smart enough to recognize code...

# announcements

[kirillrakhman]

the jvm verifier is smart enough to recognize code branches that always throw an exception and thus can't be reached