RE: Java flaw is in bytecode verifier