Regression test to ensure compilers preserve JLS
semantics of class loading.