Pekne napsano, ale presto jedna vec - nebylo by lepsi si aspon overit, ze dalsi instrukce po iconst_0 je return? :-)
(ted koukam na dokumentaci a autori s podobnym problemem zjevne pocitali - lookAhead)
Je to tak, v obecnem pripade by to tam muselo byt. Ale v nasem pripade, kdy dopredu zname bajtkod jsem si to dovolil trosku zjednodusit, nicmene obecne je Tebou popsana podminka nutna.