with java.lang; use java.lang; package java.net.URLStreamHandler is type URLStreamHandler_Obj is abstract new Object with null record; type URLStreamHandler_Ptr is access all URLStreamHandler_Obj'Class; procedure init_URLStreamHandler(Obj : access URLStreamHandler_Obj'Class); pragma Import(Java_Constructor, init_URLStreamHandler); end java.net.URLStreamHandler;