Re: Java flaw is in bytecode verifier