FIXME: currently, Pass1Verifier treats jc == null as a special
case, so we don't need to do anything here.  A better solution
would be to simply throw the ClassNotFoundException
out of this method.