1This checks a case where javac generates code that stores a byte into a 2boolean field. The code as generated should not pass the verifier, so the 3verifier had to be "loosened" to allow this case. 4