Compiles, but it crashes at runtime with a java.lang.VerifyError