Reproduction code for verifyerror (bad return type) aspectj bug.