Most welcome.

Btw, in the compiler (frege.compiler.Javatypes) I use the 3 argument form of Class.forName to avoid class initialization. AFAIK, 

    Class.forName(x, false, loader)

should be the same as 

    loader.loadClass(x)