The bytecode (old) verifier accepts the attached classes even though the number of locals are not always sufficient for the protecting exception handler. Instead, a VerifyError exception should be thrown. The attached files are test cases and contain details about the bytecodes where there are insufficient locals.