1Regression test that a VerifyError does not get wrapped in a
2NoClassDefFoundError.
3