Hi Eric, I can confirm that this workaround works. Thank you for this very useful software. Note to other people who may be worried about VerifyErrors at runtime: we currenly rely on a custom Ant Task that loads+resolves each obfuscated class. This way, it is possible to determine at build time whether the StackMap frames will be accepted by the JDK verifier. I cannot share that code, but it should be pretty easy to implement.
ProGuard 6.0.2: java.lang.VerifyError: Inconsistent stackmap frames