with java.net.SocketImpl; use java.net.SocketImpl; package java.net.PlainSocketImpl is type PlainSocketImpl_Obj is new SocketImpl_Obj with null record; type PlainSocketImpl_Ptr is access all PlainSocketImpl_Obj'Class; end java.net.PlainSocketImpl;