If I use code something like the following I get a verifier failure:
CtConstructor c = ....
c.insertAfter("mycode;",true);
Then the Java byte code verififer will fail saying the return type is wrong (()V).
If however I don't set the finally boolean the verifier does not complain. This looks like a bug.