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