with java.lang; use java.lang; package java.lang.ClassLoader is type ClassLoader_Obj is abstract new Object with null record; type ClassLoader_Ptr is access all ClassLoader_Obj'Class; end java.lang.ClassLoader;