FOREIGN MODULE java_net;

IMPORT
    java_lang := "java.lang",
    java_io := "java.io",
    java_util := "java.util",
    java_security := "java.security",
    java_nio_channels := "java.nio.channels",
    sun_misc := "sun.misc",
    java_lang_reflect := "java.lang.reflect",
    java_util_jar := "java.util.jar",
    sun_security_util := "sun.security.util",
    java_nio := "java.nio",
    sun_net_www := "sun.net.www",
    sun_net_idn := "sun.net.idn",
    sun_net_spi_nameservice := "sun.net.spi.nameservice",
    java_security_cert := "java.security.cert",
    java_util_prefs := "java.util.prefs";

TYPE

  Authenticator* = POINTER TO ABSTRACT RECORD (java_lang.Object)    (* Typebound Procedures *)
                   STATIC
                     PROCEDURE Init*() : Authenticator,CONSTRUCTOR;
                     PROCEDURE requestPasswordAuthentication*(p0 : java_lang.String;
                                                              p1 : InetAddress;
                                                              p2 : INTEGER;
                                                              p3 : java_lang.String;
                                                              p4 : java_lang.String;
                                                              p5 : java_lang.String) : PasswordAuthentication;
                     PROCEDURE requestPasswordAuthentication*(p0 : java_lang.String;
                                                              p1 : InetAddress;
                                                              p2 : INTEGER;
                                                              p3 : java_lang.String;
                                                              p4 : java_lang.String;
                                                              p5 : java_lang.String;
                                                              p6 : URL;
                                                              p7 : Authenticator$RequestorType) : PasswordAuthentication;
                     PROCEDURE requestPasswordAuthentication*(p0 : InetAddress;
                                                              p1 : INTEGER;
                                                              p2 : java_lang.String;
                                                              p3 : java_lang.String;
                                                              p4 : java_lang.String) : PasswordAuthentication;
                     PROCEDURE setDefault*(p0 : Authenticator);
                   END;

  Authenticator$RequestorType* = POINTER TO RECORD (java_lang.Enum)
                                 STATIC
                                   PROXY*   : Authenticator$RequestorType;
                                   SERVER*  : Authenticator$RequestorType;
                                   PROCEDURE valueOf*(p0 : java_lang.String) : Authenticator$RequestorType;
                                   PROCEDURE values*() : POINTER TO ARRAY OF Authenticator$RequestorType;
                                 END;

  BindException* = POINTER TO EXTENSIBLE RECORD (SocketException)
                   STATIC
                     PROCEDURE Init*() : BindException,CONSTRUCTOR;
                     PROCEDURE Init*(p0 : java_lang.String) : BindException,CONSTRUCTOR;
                   END;

  CacheRequest* = POINTER TO ABSTRACT RECORD (java_lang.Object)    (* Typebound Procedures *)
                  STATIC
                    PROCEDURE Init*() : CacheRequest,CONSTRUCTOR;
                  END;

  CacheResponse* = POINTER TO ABSTRACT RECORD (java_lang.Object)    (* Typebound Procedures *)
                   STATIC
                     PROCEDURE Init*() : CacheResponse,CONSTRUCTOR;
                   END;

  ConnectException* = POINTER TO EXTENSIBLE RECORD (SocketException)
                      STATIC
                        PROCEDURE Init*() : ConnectException,CONSTRUCTOR;
                        PROCEDURE Init*(p0 : java_lang.String) : ConnectException,CONSTRUCTOR;
                      END;

  ContentHandler* = POINTER TO ABSTRACT RECORD (java_lang.Object)    (* Typebound Procedures *)
                    STATIC
                      PROCEDURE Init*() : ContentHandler,CONSTRUCTOR;
                    END;

  ContentHandlerFactory* = POINTER TO INTERFACE RECORD (java_lang.Object)    (* Typebound Procedures *)
                           END;

  CookieHandler* = POINTER TO ABSTRACT RECORD (java_lang.Object)    (* Typebound Procedures *)
                   STATIC
                     PROCEDURE getDefault*() : CookieHandler;
                     PROCEDURE Init*() : CookieHandler,CONSTRUCTOR;
                     PROCEDURE setDefault*(p0 : CookieHandler);
                   END;

  CookieManager* = POINTER TO EXTENSIBLE RECORD (CookieHandler)    (* Typebound Procedures *)
                   STATIC
                     PROCEDURE Init*(p0 : CookieStore;
                                     p1 : CookiePolicy) : CookieManager,CONSTRUCTOR;
                     PROCEDURE Init*() : CookieManager,CONSTRUCTOR;
                   END;

  CookiePolicy* = POINTER TO INTERFACE RECORD (java_lang.Object)    (* Typebound Procedures *)
                  STATIC
                    ACCEPT_ALL*             : CookiePolicy;
                    ACCEPT_NONE*            : CookiePolicy;
                    ACCEPT_ORIGINAL_SERVER* : CookiePolicy;
                  END;

  CookieStore* = POINTER TO INTERFACE RECORD (java_lang.Object)    (* Typebound Procedures *)
                 END;

  DatagramPacket* = POINTER TO RECORD (java_lang.Object)    (* Typebound Procedures *)
                    STATIC
                      PROCEDURE Init*(IN  p0 : ARRAY OF BYTE;
                                          p1 : INTEGER;
                                          p2 : INTEGER;
                                          p3 : SocketAddress) : DatagramPacket,CONSTRUCTOR;
                      PROCEDURE Init*(IN  p0 : ARRAY OF BYTE;
                                          p1 : INTEGER;
                                          p2 : InetAddress;
                                          p3 : INTEGER) : DatagramPacket,CONSTRUCTOR;
                      PROCEDURE Init*(IN  p0 : ARRAY OF BYTE;
                                          p1 : INTEGER;
                                          p2 : SocketAddress) : DatagramPacket,CONSTRUCTOR;
                      PROCEDURE Init*(IN  p0 : ARRAY OF BYTE;
                                          p1 : INTEGER;
                                          p2 : INTEGER) : DatagramPacket,CONSTRUCTOR;
                      PROCEDURE Init*(IN  p0 : ARRAY OF BYTE;
                                          p1 : INTEGER) : DatagramPacket,CONSTRUCTOR;
                      PROCEDURE Init*(IN  p0 : ARRAY OF BYTE;
                                          p1 : INTEGER;
                                          p2 : INTEGER;
                                          p3 : InetAddress;
                                          p4 : INTEGER) : DatagramPacket,CONSTRUCTOR;
                    END;

  DatagramSocket* = POINTER TO EXTENSIBLE RECORD (java_lang.Object)    (* Typebound Procedures *)
                    STATIC
                      PROCEDURE Init*(p0 : INTEGER) : DatagramSocket,CONSTRUCTOR;
                      PROCEDURE Init*(p0 : INTEGER;
                                      p1 : InetAddress) : DatagramSocket,CONSTRUCTOR;
                      PROCEDURE Init*(p0 : SocketAddress) : DatagramSocket,CONSTRUCTOR;
                      PROCEDURE Init*() : DatagramSocket,CONSTRUCTOR;
                      PROCEDURE Init!(p0 : DatagramSocketImpl) : DatagramSocket,CONSTRUCTOR;
                      PROCEDURE setDatagramSocketImplFactory*(p0 : DatagramSocketImplFactory);
                    END;

  DatagramSocketImpl* = POINTER TO ABSTRACT RECORD (java_lang.Object + SocketOptions)    (* Typebound Procedures *)
                          localPort! : INTEGER;
                          fd!        : java_io.FileDescriptor;
                        STATIC
                          PROCEDURE Init*() : DatagramSocketImpl,CONSTRUCTOR;
                        END;

  DatagramSocketImplFactory* = POINTER TO INTERFACE RECORD (java_lang.Object)    (* Typebound Procedures *)
                               END;

  FileNameMap* = POINTER TO INTERFACE RECORD (java_lang.Object)    (* Typebound Procedures *)
                 END;

  HttpCookie* = POINTER TO RECORD (java_lang.Object + java_lang.Cloneable)    (* Typebound Procedures *)
                STATIC
                  PROCEDURE domainMatches*(p0 : java_lang.String;
                                           p1 : java_lang.String) : BOOLEAN;
                  PROCEDURE Init*(p0 : java_lang.String;
                                  p1 : java_lang.String) : HttpCookie,CONSTRUCTOR;
                  PROCEDURE parse*(p0 : java_lang.String) : java_util.List;
                END;

  HttpRetryException* = POINTER TO EXTENSIBLE RECORD (java_io.IOException)    (* Typebound Procedures *)
                        STATIC
                          PROCEDURE Init*(p0 : java_lang.String;
                                          p1 : INTEGER;
                                          p2 : java_lang.String) : HttpRetryException,CONSTRUCTOR;
                          PROCEDURE Init*(p0 : java_lang.String;
                                          p1 : INTEGER) : HttpRetryException,CONSTRUCTOR;
                        END;

  HttpURLConnection* = POINTER TO ABSTRACT RECORD (URLConnection)    (* Typebound Procedures *)
                         method!                  : java_lang.String;
                         chunkLength!             : INTEGER;
                         fixedContentLength!      : INTEGER;
                         responseCode!            : INTEGER;
                         responseMessage!         : java_lang.String;
                         instanceFollowRedirects! : BOOLEAN;
                       STATIC
                         HTTP_ACCEPTED*          = 202;
                         HTTP_BAD_GATEWAY*       = 502;
                         HTTP_BAD_METHOD*        = 405;
                         HTTP_BAD_REQUEST*       = 400;
                         HTTP_CLIENT_TIMEOUT*    = 408;
                         HTTP_CONFLICT*          = 409;
                         HTTP_CREATED*           = 201;
                         HTTP_ENTITY_TOO_LARGE*  = 413;
                         HTTP_FORBIDDEN*         = 403;
                         HTTP_GATEWAY_TIMEOUT*   = 504;
                         HTTP_GONE*              = 410;
                         HTTP_INTERNAL_ERROR*    = 500;
                         HTTP_LENGTH_REQUIRED*   = 411;
                         HTTP_MOVED_PERM*        = 301;
                         HTTP_MOVED_TEMP*        = 302;
                         HTTP_MULT_CHOICE*       = 300;
                         HTTP_NOT_ACCEPTABLE*    = 406;
                         HTTP_NOT_AUTHORITATIVE* = 203;
                         HTTP_NOT_FOUND*         = 404;
                         HTTP_NOT_IMPLEMENTED*   = 501;
                         HTTP_NOT_MODIFIED*      = 304;
                         HTTP_NO_CONTENT*        = 204;
                         HTTP_OK*                = 200;
                         HTTP_PARTIAL*           = 206;
                         HTTP_PAYMENT_REQUIRED*  = 402;
                         HTTP_PRECON_FAILED*     = 412;
                         HTTP_PROXY_AUTH*        = 407;
                         HTTP_REQ_TOO_LONG*      = 414;
                         HTTP_RESET*             = 205;
                         HTTP_SEE_OTHER*         = 303;
                         HTTP_SERVER_ERROR*      = 500;
                         HTTP_UNAUTHORIZED*      = 401;
                         HTTP_UNAVAILABLE*       = 503;
                         HTTP_UNSUPPORTED_TYPE*  = 415;
                         HTTP_USE_PROXY*         = 305;
                         HTTP_VERSION*           = 505;
                         PROCEDURE getFollowRedirects*() : BOOLEAN;
                         PROCEDURE Init!(p0 : URL) : HttpURLConnection,CONSTRUCTOR;
                         PROCEDURE setFollowRedirects*(p0 : BOOLEAN);
                       END;

  IDN* = POINTER TO RECORD (java_lang.Object)
         STATIC
           ALLOW_UNASSIGNED*     = 1;
           USE_STD3_ASCII_RULES* = 2;
           PROCEDURE toASCII*(p0 : java_lang.String) : java_lang.String;
           PROCEDURE toASCII*(p0 : java_lang.String;
                              p1 : INTEGER) : java_lang.String;
           PROCEDURE toUnicode*(p0 : java_lang.String) : java_lang.String;
           PROCEDURE toUnicode*(p0 : java_lang.String;
                                p1 : INTEGER) : java_lang.String;
         END;

  Inet4Address* = POINTER TO RECORD (InetAddress)    (* Typebound Procedures *)
                  END;

  Inet6Address* = POINTER TO RECORD (InetAddress)    (* Typebound Procedures *)
                  STATIC
                    PROCEDURE getByAddress*(    p0 : java_lang.String;
                                            IN  p1 : ARRAY OF BYTE;
                                                p2 : INTEGER) : Inet6Address;
                    PROCEDURE getByAddress*(    p0 : java_lang.String;
                                            IN  p1 : ARRAY OF BYTE;
                                                p2 : NetworkInterface) : Inet6Address;
                  END;

  InetAddress* = POINTER TO EXTENSIBLE RECORD (java_lang.Object + java_io.Serializable)    (* Typebound Procedures *)
                 STATIC
                   PROCEDURE getAllByName*(p0 : java_lang.String) : POINTER TO ARRAY OF InetAddress;
                   PROCEDURE getByAddress*(IN  p0 : ARRAY OF BYTE) : InetAddress;
                   PROCEDURE getByAddress*(    p0 : java_lang.String;
                                           IN  p1 : ARRAY OF BYTE) : InetAddress;
                   PROCEDURE getByName*(p0 : java_lang.String) : InetAddress;
                   PROCEDURE getLocalHost*() : InetAddress;
                 END;

  InetSocketAddress* = POINTER TO EXTENSIBLE RECORD (SocketAddress)    (* Typebound Procedures *)
                       STATIC
                         PROCEDURE createUnresolved*(p0 : java_lang.String;
                                                     p1 : INTEGER) : InetSocketAddress;
                         PROCEDURE Init*(p0 : java_lang.String;
                                         p1 : INTEGER) : InetSocketAddress,CONSTRUCTOR;
                         PROCEDURE Init*(p0 : INTEGER) : InetSocketAddress,CONSTRUCTOR;
                         PROCEDURE Init*(p0 : InetAddress;
                                         p1 : INTEGER) : InetSocketAddress,CONSTRUCTOR;
                       END;

  InterfaceAddress* = POINTER TO EXTENSIBLE RECORD (java_lang.Object)    (* Typebound Procedures *)
                      END;

  JarURLConnection* = POINTER TO ABSTRACT RECORD (URLConnection)    (* Typebound Procedures *)
                        jarFileURLConnection! : URLConnection;
                      STATIC
                        PROCEDURE Init!(p0 : URL) : JarURLConnection,CONSTRUCTOR;
                      END;

  MalformedURLException* = POINTER TO EXTENSIBLE RECORD (java_io.IOException)
                           STATIC
                             PROCEDURE Init*(p0 : java_lang.String) : MalformedURLException,CONSTRUCTOR;
                             PROCEDURE Init*() : MalformedURLException,CONSTRUCTOR;
                           END;

  MulticastSocket* = POINTER TO EXTENSIBLE RECORD (DatagramSocket)    (* Typebound Procedures *)
                     STATIC
                       PROCEDURE Init*(p0 : SocketAddress) : MulticastSocket,CONSTRUCTOR;
                       PROCEDURE Init*(p0 : INTEGER) : MulticastSocket,CONSTRUCTOR;
                       PROCEDURE Init*() : MulticastSocket,CONSTRUCTOR;
                     END;

  NetPermission* = POINTER TO RECORD (java_security.BasicPermission)
                   STATIC
                     PROCEDURE Init*(p0 : java_lang.String;
                                     p1 : java_lang.String) : NetPermission,CONSTRUCTOR;
                     PROCEDURE Init*(p0 : java_lang.String) : NetPermission,CONSTRUCTOR;
                   END;

  NetworkInterface* = POINTER TO RECORD (java_lang.Object)    (* Typebound Procedures *)
                      STATIC
                        PROCEDURE getByInetAddress*(p0 : InetAddress) : NetworkInterface;
                        PROCEDURE getByName*(p0 : java_lang.String) : NetworkInterface;
                        PROCEDURE getNetworkInterfaces*() : java_util.Enumeration;
                      END;

  NoRouteToHostException* = POINTER TO EXTENSIBLE RECORD (SocketException)
                            STATIC
                              PROCEDURE Init*() : NoRouteToHostException,CONSTRUCTOR;
                              PROCEDURE Init*(p0 : java_lang.String) : NoRouteToHostException,CONSTRUCTOR;
                            END;

  PasswordAuthentication* = POINTER TO RECORD (java_lang.Object)    (* Typebound Procedures *)
                            STATIC
                              PROCEDURE Init*(    p0 : java_lang.String;
                                              IN  p1 : ARRAY OF CHAR) : PasswordAuthentication,CONSTRUCTOR;
                            END;

  PortUnreachableException* = POINTER TO EXTENSIBLE RECORD (SocketException)
                              STATIC
                                PROCEDURE Init*() : PortUnreachableException,CONSTRUCTOR;
                                PROCEDURE Init*(p0 : java_lang.String) : PortUnreachableException,CONSTRUCTOR;
                              END;

  ProtocolException* = POINTER TO EXTENSIBLE RECORD (java_io.IOException)
                       STATIC
                         PROCEDURE Init*() : ProtocolException,CONSTRUCTOR;
                         PROCEDURE Init*(p0 : java_lang.String) : ProtocolException,CONSTRUCTOR;
                       END;

  Proxy* = POINTER TO EXTENSIBLE RECORD (java_lang.Object)    (* Typebound Procedures *)
           STATIC
             NO_PROXY* : Proxy;
             PROCEDURE Init*(p0 : Proxy$Type;
                             p1 : SocketAddress) : Proxy,CONSTRUCTOR;
           END;

  Proxy$Type* = POINTER TO RECORD (java_lang.Enum)
                STATIC
                  DIRECT*  : Proxy$Type;
                  HTTP*    : Proxy$Type;
                  SOCKS*   : Proxy$Type;
                  PROCEDURE valueOf*(p0 : java_lang.String) : Proxy$Type;
                  PROCEDURE values*() : POINTER TO ARRAY OF Proxy$Type;
                END;

  ProxySelector* = POINTER TO ABSTRACT RECORD (java_lang.Object)    (* Typebound Procedures *)
                   STATIC
                     PROCEDURE getDefault*() : ProxySelector;
                     PROCEDURE Init*() : ProxySelector,CONSTRUCTOR;
                     PROCEDURE setDefault*(p0 : ProxySelector);
                   END;

  ResponseCache* = POINTER TO ABSTRACT RECORD (java_lang.Object)    (* Typebound Procedures *)
                   STATIC
                     PROCEDURE getDefault*() : ResponseCache;
                     PROCEDURE Init*() : ResponseCache,CONSTRUCTOR;
                     PROCEDURE setDefault*(p0 : ResponseCache);
                   END;

  SecureCacheResponse* = POINTER TO ABSTRACT RECORD (CacheResponse)    (* Typebound Procedures *)
                         STATIC
                           PROCEDURE Init*() : SecureCacheResponse,CONSTRUCTOR;
                         END;

  ServerSocket* = POINTER TO EXTENSIBLE RECORD (java_lang.Object)    (* Typebound Procedures *)
                  STATIC
                    PROCEDURE Init*(p0 : INTEGER;
                                    p1 : INTEGER) : ServerSocket,CONSTRUCTOR;
                    PROCEDURE Init*(p0 : INTEGER;
                                    p1 : INTEGER;
                                    p2 : InetAddress) : ServerSocket,CONSTRUCTOR;
                    PROCEDURE Init*() : ServerSocket,CONSTRUCTOR;
                    PROCEDURE Init*(p0 : INTEGER) : ServerSocket,CONSTRUCTOR;
                    PROCEDURE setSocketFactory*(p0 : SocketImplFactory);
                  END;

  Socket* = POINTER TO EXTENSIBLE RECORD (java_lang.Object)    (* Typebound Procedures *)
            STATIC
              PROCEDURE Init*(p0 : InetAddress;
                              p1 : INTEGER;
                              p2 : InetAddress;
                              p3 : INTEGER) : Socket,CONSTRUCTOR;
              PROCEDURE Init*(p0 : java_lang.String;
                              p1 : INTEGER;
                              p2 : InetAddress;
                              p3 : INTEGER) : Socket,CONSTRUCTOR;
              PROCEDURE Init*(p0 : InetAddress;
                              p1 : INTEGER;
                              p2 : BOOLEAN) : Socket,CONSTRUCTOR;
              PROCEDURE Init*(p0 : java_lang.String;
                              p1 : INTEGER;
                              p2 : BOOLEAN) : Socket,CONSTRUCTOR;
              PROCEDURE Init*(p0 : InetAddress;
                              p1 : INTEGER) : Socket,CONSTRUCTOR;
              PROCEDURE Init*(p0 : Proxy) : Socket,CONSTRUCTOR;
              PROCEDURE Init*() : Socket,CONSTRUCTOR;
              PROCEDURE Init*(p0 : java_lang.String;
                              p1 : INTEGER) : Socket,CONSTRUCTOR;
              PROCEDURE Init!(p0 : SocketImpl) : Socket,CONSTRUCTOR;
              PROCEDURE setSocketImplFactory*(p0 : SocketImplFactory);
            END;

  SocketAddress* = POINTER TO ABSTRACT RECORD (java_lang.Object + java_io.Serializable)
                   STATIC
                     PROCEDURE Init*() : SocketAddress,CONSTRUCTOR;
                   END;

  SocketException* = POINTER TO EXTENSIBLE RECORD (java_io.IOException)
                     STATIC
                       PROCEDURE Init*() : SocketException,CONSTRUCTOR;
                       PROCEDURE Init*(p0 : java_lang.String) : SocketException,CONSTRUCTOR;
                     END;

  SocketImpl* = POINTER TO ABSTRACT RECORD (java_lang.Object + SocketOptions)    (* Typebound Procedures *)
                  fd!        : java_io.FileDescriptor;
                  address!   : InetAddress;
                  port!      : INTEGER;
                  localport! : INTEGER;
                STATIC
                  PROCEDURE Init*() : SocketImpl,CONSTRUCTOR;
                END;

  SocketImplFactory* = POINTER TO INTERFACE RECORD (java_lang.Object)    (* Typebound Procedures *)
                       END;

  SocketOptions* = POINTER TO INTERFACE RECORD (java_lang.Object)    (* Typebound Procedures *)
                   STATIC
                     IP_MULTICAST_IF*   = 16;
                     IP_MULTICAST_IF2*  = 31;
                     IP_MULTICAST_LOOP* = 18;
                     IP_TOS*            = 3;
                     SO_BINDADDR*       = 15;
                     SO_BROADCAST*      = 32;
                     SO_KEEPALIVE*      = 8;
                     SO_LINGER*         = 128;
                     SO_OOBINLINE*      = 4099;
                     SO_RCVBUF*         = 4098;
                     SO_REUSEADDR*      = 4;
                     SO_SNDBUF*         = 4097;
                     SO_TIMEOUT*        = 4102;
                     TCP_NODELAY*       = 1;
                   END;

  SocketPermission* = POINTER TO RECORD (java_security.Permission + java_io.Serializable)    (* Typebound Procedures *)
                      STATIC
                        PROCEDURE Init*(p0 : java_lang.String;
                                        p1 : java_lang.String) : SocketPermission,CONSTRUCTOR;
                      END;

  SocketTimeoutException* = POINTER TO EXTENSIBLE RECORD (java_io.InterruptedIOException)
                            STATIC
                              PROCEDURE Init*() : SocketTimeoutException,CONSTRUCTOR;
                              PROCEDURE Init*(p0 : java_lang.String) : SocketTimeoutException,CONSTRUCTOR;
                            END;

  UnknownHostException* = POINTER TO EXTENSIBLE RECORD (java_io.IOException)
                          STATIC
                            PROCEDURE Init*() : UnknownHostException,CONSTRUCTOR;
                            PROCEDURE Init*(p0 : java_lang.String) : UnknownHostException,CONSTRUCTOR;
                          END;

  UnknownServiceException* = POINTER TO EXTENSIBLE RECORD (java_io.IOException)
                             STATIC
                               PROCEDURE Init*(p0 : java_lang.String) : UnknownServiceException,CONSTRUCTOR;
                               PROCEDURE Init*() : UnknownServiceException,CONSTRUCTOR;
                             END;

  URI* = POINTER TO RECORD (java_lang.Object + java_lang.Comparable + java_io.Serializable)    (* Typebound Procedures *)
         STATIC
           PROCEDURE create*(p0 : java_lang.String) : URI;
           PROCEDURE Init*(p0 : java_lang.String;
                           p1 : java_lang.String;
                           p2 : java_lang.String;
                           p3 : java_lang.String) : URI,CONSTRUCTOR;
           PROCEDURE Init*(p0 : java_lang.String;
                           p1 : java_lang.String;
                           p2 : java_lang.String) : URI,CONSTRUCTOR;
           PROCEDURE Init*(p0 : java_lang.String) : URI,CONSTRUCTOR;
           PROCEDURE Init*(p0 : java_lang.String;
                           p1 : java_lang.String;
                           p2 : java_lang.String;
                           p3 : INTEGER;
                           p4 : java_lang.String;
                           p5 : java_lang.String;
                           p6 : java_lang.String) : URI,CONSTRUCTOR;
           PROCEDURE Init*(p0 : java_lang.String;
                           p1 : java_lang.String;
                           p2 : java_lang.String;
                           p3 : java_lang.String;
                           p4 : java_lang.String) : URI,CONSTRUCTOR;
         END;

  URISyntaxException* = POINTER TO EXTENSIBLE RECORD (java_lang.Exception)    (* Typebound Procedures *)
                        STATIC
                          PROCEDURE Init*(p0 : java_lang.String;
                                          p1 : java_lang.String) : URISyntaxException,CONSTRUCTOR;
                          PROCEDURE Init*(p0 : java_lang.String;
                                          p1 : java_lang.String;
                                          p2 : INTEGER) : URISyntaxException,CONSTRUCTOR;
                        END;

  URL* = POINTER TO RECORD (java_lang.Object + java_io.Serializable)    (* Typebound Procedures *)
         STATIC
           PROCEDURE Init*(p0 : java_lang.String) : URL,CONSTRUCTOR;
           PROCEDURE Init*(p0 : URL;
                           p1 : java_lang.String) : URL,CONSTRUCTOR;
           PROCEDURE Init*(p0 : URL;
                           p1 : java_lang.String;
                           p2 : URLStreamHandler) : URL,CONSTRUCTOR;
           PROCEDURE Init*(p0 : java_lang.String;
                           p1 : java_lang.String;
                           p2 : INTEGER;
                           p3 : java_lang.String) : URL,CONSTRUCTOR;
           PROCEDURE Init*(p0 : java_lang.String;
                           p1 : java_lang.String;
                           p2 : java_lang.String) : URL,CONSTRUCTOR;
           PROCEDURE Init*(p0 : java_lang.String;
                           p1 : java_lang.String;
                           p2 : INTEGER;
                           p3 : java_lang.String;
                           p4 : URLStreamHandler) : URL,CONSTRUCTOR;
           PROCEDURE setURLStreamHandlerFactory*(p0 : URLStreamHandlerFactory);
         END;

  URLClassLoader* = POINTER TO EXTENSIBLE RECORD (java_security.SecureClassLoader)    (* Typebound Procedures *)
                    STATIC
                      PROCEDURE Init*(IN  p0 : ARRAY OF URL;
                                          p1 : java_lang.ClassLoader;
                                          p2 : URLStreamHandlerFactory) : URLClassLoader,CONSTRUCTOR;
                      PROCEDURE Init*(IN  p0 : ARRAY OF URL) : URLClassLoader,CONSTRUCTOR;
                      PROCEDURE Init*(IN  p0 : ARRAY OF URL;
                                          p1 : java_lang.ClassLoader) : URLClassLoader,CONSTRUCTOR;
                      PROCEDURE newInstance*(IN  p0 : ARRAY OF URL) : URLClassLoader;
                      PROCEDURE newInstance*(IN  p0 : ARRAY OF URL;
                                                 p1 : java_lang.ClassLoader) : URLClassLoader;
                    END;

  URLConnection* = POINTER TO ABSTRACT RECORD (java_lang.Object)    (* Typebound Procedures *)
                     url!                  : URL;
                     doInput!              : BOOLEAN;
                     doOutput!             : BOOLEAN;
                     allowUserInteraction! : BOOLEAN;
                     useCaches!            : BOOLEAN;
                     ifModifiedSince!      : LONGINT;
                     connected!            : BOOLEAN;
                   STATIC
                     PROCEDURE getDefaultAllowUserInteraction*() : BOOLEAN;
                     PROCEDURE getDefaultRequestProperty*(p0 : java_lang.String) : java_lang.String;
                     PROCEDURE getFileNameMap*() : FileNameMap;
                     PROCEDURE guessContentTypeFromName*(p0 : java_lang.String) : java_lang.String;
                     PROCEDURE guessContentTypeFromStream*(p0 : java_io.InputStream) : java_lang.String;
                     PROCEDURE Init!(p0 : URL) : URLConnection,CONSTRUCTOR;
                     PROCEDURE setContentHandlerFactory*(p0 : ContentHandlerFactory);
                     PROCEDURE setDefaultAllowUserInteraction*(p0 : BOOLEAN);
                     PROCEDURE setDefaultRequestProperty*(p0 : java_lang.String;
                                                          p1 : java_lang.String);
                     PROCEDURE setFileNameMap*(p0 : FileNameMap);
                   END;

  URLDecoder* = POINTER TO EXTENSIBLE RECORD (java_lang.Object)
                STATIC
                  PROCEDURE decode*(p0 : java_lang.String;
                                    p1 : java_lang.String) : java_lang.String;
                  PROCEDURE decode*(p0 : java_lang.String) : java_lang.String;
                  PROCEDURE Init*() : URLDecoder,CONSTRUCTOR;
                END;

  URLEncoder* = POINTER TO EXTENSIBLE RECORD (java_lang.Object)
                STATIC
                  PROCEDURE encode*(p0 : java_lang.String;
                                    p1 : java_lang.String) : java_lang.String;
                  PROCEDURE encode*(p0 : java_lang.String) : java_lang.String;
                END;

  URLStreamHandler* = POINTER TO ABSTRACT RECORD (java_lang.Object)    (* Typebound Procedures *)
                      STATIC
                        PROCEDURE Init*() : URLStreamHandler,CONSTRUCTOR;
                      END;

  URLStreamHandlerFactory* = POINTER TO INTERFACE RECORD (java_lang.Object)    (* Typebound Procedures *)
                             END;




PROCEDURE (self:Authenticator) getPasswordAuthentication!() : PasswordAuthentication,NEW,EXTENSIBLE;

PROCEDURE (self:Authenticator) getRequestingHost!() : java_lang.String,NEW;

PROCEDURE (self:Authenticator) getRequestingPort!() : INTEGER,NEW;

PROCEDURE (self:Authenticator) getRequestingPrompt!() : java_lang.String,NEW;

PROCEDURE (self:Authenticator) getRequestingProtocol!() : java_lang.String,NEW;

PROCEDURE (self:Authenticator) getRequestingScheme!() : java_lang.String,NEW;

PROCEDURE (self:Authenticator) getRequestingSite!() : InetAddress,NEW;

PROCEDURE (self:Authenticator) getRequestingURL!() : URL,NEW,EXTENSIBLE;

PROCEDURE (self:Authenticator) getRequestorType!() : Authenticator$RequestorType,NEW,EXTENSIBLE;

PROCEDURE (self:CacheRequest) abort*(),NEW,ABSTRACT;

PROCEDURE (self:CacheRequest) getBody*() : java_io.OutputStream,NEW,ABSTRACT;

PROCEDURE (self:CacheResponse) getBody*() : java_io.InputStream,NEW,ABSTRACT;

PROCEDURE (self:CacheResponse) getHeaders*() : java_util.Map,NEW,ABSTRACT;

PROCEDURE (self:ContentHandler) getContent*(    p0 : URLConnection;
                                            IN  p1 : ARRAY OF java_lang.Class) : java_lang.Object,NEW,EXTENSIBLE;

PROCEDURE (self:ContentHandler) getContent*(p0 : URLConnection) : java_lang.Object,NEW,ABSTRACT;

PROCEDURE (self:ContentHandlerFactory) createContentHandler*(p0 : java_lang.String) : ContentHandler,NEW,ABSTRACT;

PROCEDURE (self:CookieHandler) get*(p0 : URI;
                                    p1 : java_util.Map) : java_util.Map,NEW,ABSTRACT;

PROCEDURE (self:CookieHandler) put*(p0 : URI;
                                    p1 : java_util.Map),NEW,ABSTRACT;

PROCEDURE (self:CookieManager) get*(p0 : URI;
                                    p1 : java_util.Map) : java_util.Map,EXTENSIBLE;

PROCEDURE (self:CookieManager) getCookieStore*() : CookieStore,NEW,EXTENSIBLE;

PROCEDURE (self:CookieManager) put*(p0 : URI;
                                    p1 : java_util.Map),EXTENSIBLE;

PROCEDURE (self:CookieManager) setCookiePolicy*(p0 : CookiePolicy),NEW,EXTENSIBLE;

PROCEDURE (self:CookiePolicy) shouldAccept*(p0 : URI;
                                            p1 : HttpCookie) : BOOLEAN,NEW,ABSTRACT;

PROCEDURE (self:CookieStore) add*(p0 : URI;
                                  p1 : HttpCookie),NEW,ABSTRACT;

PROCEDURE (self:CookieStore) get*(p0 : URI) : java_util.List,NEW,ABSTRACT;

PROCEDURE (self:CookieStore) getCookies*() : java_util.List,NEW,ABSTRACT;

PROCEDURE (self:CookieStore) getURIs*() : java_util.List,NEW,ABSTRACT;

PROCEDURE (self:CookieStore) remove*(p0 : URI;
                                     p1 : HttpCookie) : BOOLEAN,NEW,ABSTRACT;

PROCEDURE (self:CookieStore) removeAll*() : BOOLEAN,NEW,ABSTRACT;

PROCEDURE (self:DatagramPacket) getAddress*() : InetAddress,NEW,EXTENSIBLE;

PROCEDURE (self:DatagramPacket) getData*() : POINTER TO ARRAY OF BYTE,NEW,EXTENSIBLE;

PROCEDURE (self:DatagramPacket) getLength*() : INTEGER,NEW,EXTENSIBLE;

PROCEDURE (self:DatagramPacket) getOffset*() : INTEGER,NEW,EXTENSIBLE;

PROCEDURE (self:DatagramPacket) getPort*() : INTEGER,NEW,EXTENSIBLE;

PROCEDURE (self:DatagramPacket) getSocketAddress*() : SocketAddress,NEW,EXTENSIBLE;

PROCEDURE (self:DatagramPacket) setAddress*(p0 : InetAddress),NEW,EXTENSIBLE;

PROCEDURE (self:DatagramPacket) setData*(IN  p0 : ARRAY OF BYTE),NEW,EXTENSIBLE;

PROCEDURE (self:DatagramPacket) setData*(IN  p0 : ARRAY OF BYTE;
                                             p1 : INTEGER;
                                             p2 : INTEGER),NEW,EXTENSIBLE;

PROCEDURE (self:DatagramPacket) setLength*(p0 : INTEGER),NEW,EXTENSIBLE;

PROCEDURE (self:DatagramPacket) setPort*(p0 : INTEGER),NEW,EXTENSIBLE;

PROCEDURE (self:DatagramPacket) setSocketAddress*(p0 : SocketAddress),NEW,EXTENSIBLE;

PROCEDURE (self:DatagramSocket) bind*(p0 : SocketAddress),NEW,EXTENSIBLE;

PROCEDURE (self:DatagramSocket) close*(),NEW,EXTENSIBLE;

PROCEDURE (self:DatagramSocket) connect*(p0 : InetAddress;
                                         p1 : INTEGER),NEW,EXTENSIBLE;

PROCEDURE (self:DatagramSocket) connect*(p0 : SocketAddress),NEW,EXTENSIBLE;

PROCEDURE (self:DatagramSocket) disconnect*(),NEW,EXTENSIBLE;

PROCEDURE (self:DatagramSocket) getBroadcast*() : BOOLEAN,NEW,EXTENSIBLE;

PROCEDURE (self:DatagramSocket) getChannel*() : java_nio_channels.DatagramChannel,NEW,EXTENSIBLE;

PROCEDURE (self:DatagramSocket) getInetAddress*() : InetAddress,NEW,EXTENSIBLE;

PROCEDURE (self:DatagramSocket) getLocalAddress*() : InetAddress,NEW,EXTENSIBLE;

PROCEDURE (self:DatagramSocket) getLocalPort*() : INTEGER,NEW,EXTENSIBLE;

PROCEDURE (self:DatagramSocket) getLocalSocketAddress*() : SocketAddress,NEW,EXTENSIBLE;

PROCEDURE (self:DatagramSocket) getPort*() : INTEGER,NEW,EXTENSIBLE;

PROCEDURE (self:DatagramSocket) getReceiveBufferSize*() : INTEGER,NEW,EXTENSIBLE;

PROCEDURE (self:DatagramSocket) getRemoteSocketAddress*() : SocketAddress,NEW,EXTENSIBLE;

PROCEDURE (self:DatagramSocket) getReuseAddress*() : BOOLEAN,NEW,EXTENSIBLE;

PROCEDURE (self:DatagramSocket) getSendBufferSize*() : INTEGER,NEW,EXTENSIBLE;

PROCEDURE (self:DatagramSocket) getSoTimeout*() : INTEGER,NEW,EXTENSIBLE;

PROCEDURE (self:DatagramSocket) getTrafficClass*() : INTEGER,NEW,EXTENSIBLE;

PROCEDURE (self:DatagramSocket) isBound*() : BOOLEAN,NEW,EXTENSIBLE;

PROCEDURE (self:DatagramSocket) isClosed*() : BOOLEAN,NEW,EXTENSIBLE;

PROCEDURE (self:DatagramSocket) isConnected*() : BOOLEAN,NEW,EXTENSIBLE;

PROCEDURE (self:DatagramSocket) receive*(p0 : DatagramPacket),NEW,EXTENSIBLE;

PROCEDURE (self:DatagramSocket) send*(p0 : DatagramPacket),NEW,EXTENSIBLE;

PROCEDURE (self:DatagramSocket) setBroadcast*(p0 : BOOLEAN),NEW,EXTENSIBLE;

PROCEDURE (self:DatagramSocket) setReceiveBufferSize*(p0 : INTEGER),NEW,EXTENSIBLE;

PROCEDURE (self:DatagramSocket) setReuseAddress*(p0 : BOOLEAN),NEW,EXTENSIBLE;

PROCEDURE (self:DatagramSocket) setSendBufferSize*(p0 : INTEGER),NEW,EXTENSIBLE;

PROCEDURE (self:DatagramSocket) setSoTimeout*(p0 : INTEGER),NEW,EXTENSIBLE;

PROCEDURE (self:DatagramSocket) setTrafficClass*(p0 : INTEGER),NEW,EXTENSIBLE;

PROCEDURE (self:DatagramSocketImpl) bind!(p0 : INTEGER;
                                          p1 : InetAddress),NEW,ABSTRACT;

PROCEDURE (self:DatagramSocketImpl) close!(),NEW,ABSTRACT;

PROCEDURE (self:DatagramSocketImpl) connect!(p0 : InetAddress;
                                             p1 : INTEGER),NEW,EXTENSIBLE;

PROCEDURE (self:DatagramSocketImpl) create!(),NEW,ABSTRACT;

PROCEDURE (self:DatagramSocketImpl) disconnect!(),NEW,EXTENSIBLE;

PROCEDURE (self:DatagramSocketImpl) getFileDescriptor!() : java_io.FileDescriptor,NEW,EXTENSIBLE;

PROCEDURE (self:DatagramSocketImpl) getLocalPort!() : INTEGER,NEW,EXTENSIBLE;

PROCEDURE (self:DatagramSocketImpl) getTimeToLive!() : INTEGER,NEW,ABSTRACT;

PROCEDURE (self:DatagramSocketImpl) getTTL!() : BYTE,NEW,ABSTRACT;

PROCEDURE (self:DatagramSocketImpl) join!(p0 : InetAddress),NEW,ABSTRACT;

PROCEDURE (self:DatagramSocketImpl) joinGroup!(p0 : SocketAddress;
                                               p1 : NetworkInterface),NEW,ABSTRACT;

PROCEDURE (self:DatagramSocketImpl) leave!(p0 : InetAddress),NEW,ABSTRACT;

PROCEDURE (self:DatagramSocketImpl) leaveGroup!(p0 : SocketAddress;
                                                p1 : NetworkInterface),NEW,ABSTRACT;

PROCEDURE (self:DatagramSocketImpl) peek!(p0 : InetAddress) : INTEGER,NEW,ABSTRACT;

PROCEDURE (self:DatagramSocketImpl) peekData!(p0 : DatagramPacket) : INTEGER,NEW,ABSTRACT;

PROCEDURE (self:DatagramSocketImpl) receive!(p0 : DatagramPacket),NEW,ABSTRACT;

PROCEDURE (self:DatagramSocketImpl) send!(p0 : DatagramPacket),NEW,ABSTRACT;

PROCEDURE (self:DatagramSocketImpl) setTimeToLive!(p0 : INTEGER),NEW,ABSTRACT;

PROCEDURE (self:DatagramSocketImpl) setTTL!(p0 : BYTE),NEW,ABSTRACT;

PROCEDURE (self:DatagramSocketImplFactory) createDatagramSocketImpl*() : DatagramSocketImpl,NEW,ABSTRACT;

PROCEDURE (self:FileNameMap) getContentTypeFor*(p0 : java_lang.String) : java_lang.String,NEW,ABSTRACT;

PROCEDURE (self:HttpCookie) clone*() : java_lang.Object,EXTENSIBLE;

PROCEDURE (self:HttpCookie) equals*(p0 : java_lang.Object) : BOOLEAN,EXTENSIBLE;

PROCEDURE (self:HttpCookie) getComment*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:HttpCookie) getCommentURL*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:HttpCookie) getDiscard*() : BOOLEAN,NEW,EXTENSIBLE;

PROCEDURE (self:HttpCookie) getDomain*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:HttpCookie) getMaxAge*() : LONGINT,NEW,EXTENSIBLE;

PROCEDURE (self:HttpCookie) getName*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:HttpCookie) getPath*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:HttpCookie) getPortlist*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:HttpCookie) getSecure*() : BOOLEAN,NEW,EXTENSIBLE;

PROCEDURE (self:HttpCookie) getValue*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:HttpCookie) getVersion*() : INTEGER,NEW,EXTENSIBLE;

PROCEDURE (self:HttpCookie) hasExpired*() : BOOLEAN,NEW,EXTENSIBLE;

PROCEDURE (self:HttpCookie) hashCode*() : INTEGER,EXTENSIBLE;

PROCEDURE (self:HttpCookie) setComment*(p0 : java_lang.String),NEW,EXTENSIBLE;

PROCEDURE (self:HttpCookie) setCommentURL*(p0 : java_lang.String),NEW,EXTENSIBLE;

PROCEDURE (self:HttpCookie) setDiscard*(p0 : BOOLEAN),NEW,EXTENSIBLE;

PROCEDURE (self:HttpCookie) setDomain*(p0 : java_lang.String),NEW,EXTENSIBLE;

PROCEDURE (self:HttpCookie) setMaxAge*(p0 : LONGINT),NEW,EXTENSIBLE;

PROCEDURE (self:HttpCookie) setPath*(p0 : java_lang.String),NEW,EXTENSIBLE;

PROCEDURE (self:HttpCookie) setPortlist*(p0 : java_lang.String),NEW,EXTENSIBLE;

PROCEDURE (self:HttpCookie) setSecure*(p0 : BOOLEAN),NEW,EXTENSIBLE;

PROCEDURE (self:HttpCookie) setValue*(p0 : java_lang.String),NEW,EXTENSIBLE;

PROCEDURE (self:HttpCookie) setVersion*(p0 : INTEGER),NEW,EXTENSIBLE;

PROCEDURE (self:HttpCookie) toString*() : java_lang.String,EXTENSIBLE;

PROCEDURE (self:HttpRetryException) getLocation*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:HttpRetryException) getReason*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:HttpRetryException) responseCode*() : INTEGER,NEW,EXTENSIBLE;

PROCEDURE (self:HttpURLConnection) disconnect*(),NEW,ABSTRACT;

PROCEDURE (self:HttpURLConnection) getErrorStream*() : java_io.InputStream,NEW,EXTENSIBLE;

PROCEDURE (self:HttpURLConnection) getHeaderField*(p0 : INTEGER) : java_lang.String,EXTENSIBLE;

PROCEDURE (self:HttpURLConnection) getHeaderFieldDate*(p0 : java_lang.String;
                                                       p1 : LONGINT) : LONGINT,EXTENSIBLE;

PROCEDURE (self:HttpURLConnection) getHeaderFieldKey*(p0 : INTEGER) : java_lang.String,EXTENSIBLE;

PROCEDURE (self:HttpURLConnection) getInstanceFollowRedirects*() : BOOLEAN,NEW,EXTENSIBLE;

PROCEDURE (self:HttpURLConnection) getPermission*() : java_security.Permission,EXTENSIBLE;

PROCEDURE (self:HttpURLConnection) getRequestMethod*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:HttpURLConnection) getResponseCode*() : INTEGER,NEW,EXTENSIBLE;

PROCEDURE (self:HttpURLConnection) getResponseMessage*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:HttpURLConnection) setChunkedStreamingMode*(p0 : INTEGER),NEW,EXTENSIBLE;

PROCEDURE (self:HttpURLConnection) setFixedLengthStreamingMode*(p0 : INTEGER),NEW,EXTENSIBLE;

PROCEDURE (self:HttpURLConnection) setInstanceFollowRedirects*(p0 : BOOLEAN),NEW,EXTENSIBLE;

PROCEDURE (self:HttpURLConnection) setRequestMethod*(p0 : java_lang.String),NEW,EXTENSIBLE;

PROCEDURE (self:HttpURLConnection) usingProxy*() : BOOLEAN,NEW,ABSTRACT;

PROCEDURE (self:Inet4Address) equals*(p0 : java_lang.Object) : BOOLEAN,EXTENSIBLE;

PROCEDURE (self:Inet4Address) getAddress*() : POINTER TO ARRAY OF BYTE,EXTENSIBLE;

PROCEDURE (self:Inet4Address) getHostAddress*() : java_lang.String,EXTENSIBLE;

PROCEDURE (self:Inet4Address) hashCode*() : INTEGER,EXTENSIBLE;

PROCEDURE (self:Inet4Address) isAnyLocalAddress*() : BOOLEAN,EXTENSIBLE;

PROCEDURE (self:Inet4Address) isLinkLocalAddress*() : BOOLEAN,EXTENSIBLE;

PROCEDURE (self:Inet4Address) isLoopbackAddress*() : BOOLEAN,EXTENSIBLE;

PROCEDURE (self:Inet4Address) isMCGlobal*() : BOOLEAN,EXTENSIBLE;

PROCEDURE (self:Inet4Address) isMCLinkLocal*() : BOOLEAN,EXTENSIBLE;

PROCEDURE (self:Inet4Address) isMCNodeLocal*() : BOOLEAN,EXTENSIBLE;

PROCEDURE (self:Inet4Address) isMCOrgLocal*() : BOOLEAN,EXTENSIBLE;

PROCEDURE (self:Inet4Address) isMCSiteLocal*() : BOOLEAN,EXTENSIBLE;

PROCEDURE (self:Inet4Address) isMulticastAddress*() : BOOLEAN,EXTENSIBLE;

PROCEDURE (self:Inet4Address) isSiteLocalAddress*() : BOOLEAN,EXTENSIBLE;

PROCEDURE (self:Inet6Address) equals*(p0 : java_lang.Object) : BOOLEAN,EXTENSIBLE;

PROCEDURE (self:Inet6Address) getAddress*() : POINTER TO ARRAY OF BYTE,EXTENSIBLE;

PROCEDURE (self:Inet6Address) getHostAddress*() : java_lang.String,EXTENSIBLE;

PROCEDURE (self:Inet6Address) getScopedInterface*() : NetworkInterface,NEW,EXTENSIBLE;

PROCEDURE (self:Inet6Address) getScopeId*() : INTEGER,NEW,EXTENSIBLE;

PROCEDURE (self:Inet6Address) hashCode*() : INTEGER,EXTENSIBLE;

PROCEDURE (self:Inet6Address) isAnyLocalAddress*() : BOOLEAN,EXTENSIBLE;

PROCEDURE (self:Inet6Address) isIPv4CompatibleAddress*() : BOOLEAN,NEW,EXTENSIBLE;

PROCEDURE (self:Inet6Address) isLinkLocalAddress*() : BOOLEAN,EXTENSIBLE;

PROCEDURE (self:Inet6Address) isLoopbackAddress*() : BOOLEAN,EXTENSIBLE;

PROCEDURE (self:Inet6Address) isMCGlobal*() : BOOLEAN,EXTENSIBLE;

PROCEDURE (self:Inet6Address) isMCLinkLocal*() : BOOLEAN,EXTENSIBLE;

PROCEDURE (self:Inet6Address) isMCNodeLocal*() : BOOLEAN,EXTENSIBLE;

PROCEDURE (self:Inet6Address) isMCOrgLocal*() : BOOLEAN,EXTENSIBLE;

PROCEDURE (self:Inet6Address) isMCSiteLocal*() : BOOLEAN,EXTENSIBLE;

PROCEDURE (self:Inet6Address) isMulticastAddress*() : BOOLEAN,EXTENSIBLE;

PROCEDURE (self:Inet6Address) isSiteLocalAddress*() : BOOLEAN,EXTENSIBLE;

PROCEDURE (self:InetAddress) equals*(p0 : java_lang.Object) : BOOLEAN,EXTENSIBLE;

PROCEDURE (self:InetAddress) getAddress*() : POINTER TO ARRAY OF BYTE,NEW,EXTENSIBLE;

PROCEDURE (self:InetAddress) getCanonicalHostName*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:InetAddress) getHostAddress*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:InetAddress) getHostName*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:InetAddress) hashCode*() : INTEGER,EXTENSIBLE;

PROCEDURE (self:InetAddress) isAnyLocalAddress*() : BOOLEAN,NEW,EXTENSIBLE;

PROCEDURE (self:InetAddress) isLinkLocalAddress*() : BOOLEAN,NEW,EXTENSIBLE;

PROCEDURE (self:InetAddress) isLoopbackAddress*() : BOOLEAN,NEW,EXTENSIBLE;

PROCEDURE (self:InetAddress) isMCGlobal*() : BOOLEAN,NEW,EXTENSIBLE;

PROCEDURE (self:InetAddress) isMCLinkLocal*() : BOOLEAN,NEW,EXTENSIBLE;

PROCEDURE (self:InetAddress) isMCNodeLocal*() : BOOLEAN,NEW,EXTENSIBLE;

PROCEDURE (self:InetAddress) isMCOrgLocal*() : BOOLEAN,NEW,EXTENSIBLE;

PROCEDURE (self:InetAddress) isMCSiteLocal*() : BOOLEAN,NEW,EXTENSIBLE;

PROCEDURE (self:InetAddress) isMulticastAddress*() : BOOLEAN,NEW,EXTENSIBLE;

PROCEDURE (self:InetAddress) isReachable*(p0 : NetworkInterface;
                                          p1 : INTEGER;
                                          p2 : INTEGER) : BOOLEAN,NEW,EXTENSIBLE;

PROCEDURE (self:InetAddress) isReachable*(p0 : INTEGER) : BOOLEAN,NEW,EXTENSIBLE;

PROCEDURE (self:InetAddress) isSiteLocalAddress*() : BOOLEAN,NEW,EXTENSIBLE;

PROCEDURE (self:InetAddress) toString*() : java_lang.String,EXTENSIBLE;

PROCEDURE (self:InetSocketAddress) equals*(p0 : java_lang.Object) : BOOLEAN;

PROCEDURE (self:InetSocketAddress) getAddress*() : InetAddress,NEW;

PROCEDURE (self:InetSocketAddress) getHostName*() : java_lang.String,NEW;

PROCEDURE (self:InetSocketAddress) getPort*() : INTEGER,NEW;

PROCEDURE (self:InetSocketAddress) hashCode*() : INTEGER;

PROCEDURE (self:InetSocketAddress) isUnresolved*() : BOOLEAN,NEW;

PROCEDURE (self:InetSocketAddress) toString*() : java_lang.String,EXTENSIBLE;

PROCEDURE (self:InterfaceAddress) equals*(p0 : java_lang.Object) : BOOLEAN,EXTENSIBLE;

PROCEDURE (self:InterfaceAddress) getAddress*() : InetAddress,NEW,EXTENSIBLE;

PROCEDURE (self:InterfaceAddress) getBroadcast*() : InetAddress,NEW,EXTENSIBLE;

PROCEDURE (self:InterfaceAddress) getNetworkPrefixLength*() : SHORTINT,NEW,EXTENSIBLE;

PROCEDURE (self:InterfaceAddress) hashCode*() : INTEGER,EXTENSIBLE;

PROCEDURE (self:InterfaceAddress) toString*() : java_lang.String,EXTENSIBLE;

PROCEDURE (self:JarURLConnection) getAttributes*() : java_util_jar.Attributes,NEW,EXTENSIBLE;

PROCEDURE (self:JarURLConnection) getCertificates*() : POINTER TO ARRAY OF java_security_cert.Certificate,NEW,EXTENSIBLE;

PROCEDURE (self:JarURLConnection) getEntryName*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:JarURLConnection) getJarEntry*() : java_util_jar.JarEntry,NEW,EXTENSIBLE;

PROCEDURE (self:JarURLConnection) getJarFile*() : java_util_jar.JarFile,NEW,ABSTRACT;

PROCEDURE (self:JarURLConnection) getJarFileURL*() : URL,NEW,EXTENSIBLE;

PROCEDURE (self:JarURLConnection) getMainAttributes*() : java_util_jar.Attributes,NEW,EXTENSIBLE;

PROCEDURE (self:JarURLConnection) getManifest*() : java_util_jar.Manifest,NEW,EXTENSIBLE;

PROCEDURE (self:MulticastSocket) getInterface*() : InetAddress,NEW,EXTENSIBLE;

PROCEDURE (self:MulticastSocket) getLoopbackMode*() : BOOLEAN,NEW,EXTENSIBLE;

PROCEDURE (self:MulticastSocket) getNetworkInterface*() : NetworkInterface,NEW,EXTENSIBLE;

PROCEDURE (self:MulticastSocket) getTimeToLive*() : INTEGER,NEW,EXTENSIBLE;

PROCEDURE (self:MulticastSocket) getTTL*() : BYTE,NEW,EXTENSIBLE;

PROCEDURE (self:MulticastSocket) joinGroup*(p0 : SocketAddress;
                                            p1 : NetworkInterface),NEW,EXTENSIBLE;

PROCEDURE (self:MulticastSocket) joinGroup*(p0 : InetAddress),NEW,EXTENSIBLE;

PROCEDURE (self:MulticastSocket) leaveGroup*(p0 : SocketAddress;
                                             p1 : NetworkInterface),NEW,EXTENSIBLE;

PROCEDURE (self:MulticastSocket) leaveGroup*(p0 : InetAddress),NEW,EXTENSIBLE;

PROCEDURE (self:MulticastSocket) send*(p0 : DatagramPacket;
                                       p1 : BYTE),NEW,EXTENSIBLE;

PROCEDURE (self:MulticastSocket) setInterface*(p0 : InetAddress),NEW,EXTENSIBLE;

PROCEDURE (self:MulticastSocket) setLoopbackMode*(p0 : BOOLEAN),NEW,EXTENSIBLE;

PROCEDURE (self:MulticastSocket) setNetworkInterface*(p0 : NetworkInterface),NEW,EXTENSIBLE;

PROCEDURE (self:MulticastSocket) setTimeToLive*(p0 : INTEGER),NEW,EXTENSIBLE;

PROCEDURE (self:MulticastSocket) setTTL*(p0 : BYTE),NEW,EXTENSIBLE;

PROCEDURE (self:NetworkInterface) equals*(p0 : java_lang.Object) : BOOLEAN,EXTENSIBLE;

PROCEDURE (self:NetworkInterface) getDisplayName*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:NetworkInterface) getHardwareAddress*() : POINTER TO ARRAY OF BYTE,NEW,EXTENSIBLE;

PROCEDURE (self:NetworkInterface) getInetAddresses*() : java_util.Enumeration,NEW,EXTENSIBLE;

PROCEDURE (self:NetworkInterface) getInterfaceAddresses*() : java_util.List,NEW,EXTENSIBLE;

PROCEDURE (self:NetworkInterface) getMTU*() : INTEGER,NEW,EXTENSIBLE;

PROCEDURE (self:NetworkInterface) getName*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:NetworkInterface) getParent*() : NetworkInterface,NEW,EXTENSIBLE;

PROCEDURE (self:NetworkInterface) getSubInterfaces*() : java_util.Enumeration,NEW,EXTENSIBLE;

PROCEDURE (self:NetworkInterface) hashCode*() : INTEGER,EXTENSIBLE;

PROCEDURE (self:NetworkInterface) isLoopback*() : BOOLEAN,NEW,EXTENSIBLE;

PROCEDURE (self:NetworkInterface) isPointToPoint*() : BOOLEAN,NEW,EXTENSIBLE;

PROCEDURE (self:NetworkInterface) isUp*() : BOOLEAN,NEW,EXTENSIBLE;

PROCEDURE (self:NetworkInterface) isVirtual*() : BOOLEAN,NEW,EXTENSIBLE;

PROCEDURE (self:NetworkInterface) supportsMulticast*() : BOOLEAN,NEW,EXTENSIBLE;

PROCEDURE (self:NetworkInterface) toString*() : java_lang.String,EXTENSIBLE;

PROCEDURE (self:PasswordAuthentication) getPassword*() : POINTER TO ARRAY OF CHAR,NEW,EXTENSIBLE;

PROCEDURE (self:PasswordAuthentication) getUserName*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:Proxy) address*() : SocketAddress,NEW,EXTENSIBLE;

PROCEDURE (self:Proxy) equals*(p0 : java_lang.Object) : BOOLEAN;

PROCEDURE (self:Proxy) hashCode*() : INTEGER;

PROCEDURE (self:Proxy) toString*() : java_lang.String,EXTENSIBLE;

PROCEDURE (self:Proxy) type*() : Proxy$Type,NEW,EXTENSIBLE;

PROCEDURE (self:ProxySelector) connectFailed*(p0 : URI;
                                              p1 : SocketAddress;
                                              p2 : java_io.IOException),NEW,ABSTRACT;

PROCEDURE (self:ProxySelector) select*(p0 : URI) : java_util.List,NEW,ABSTRACT;

PROCEDURE (self:ResponseCache) get*(p0 : URI;
                                    p1 : java_lang.String;
                                    p2 : java_util.Map) : CacheResponse,NEW,ABSTRACT;

PROCEDURE (self:ResponseCache) put*(p0 : URI;
                                    p1 : URLConnection) : CacheRequest,NEW,ABSTRACT;

PROCEDURE (self:SecureCacheResponse) getCipherSuite*() : java_lang.String,NEW,ABSTRACT;

PROCEDURE (self:SecureCacheResponse) getLocalCertificateChain*() : java_util.List,NEW,ABSTRACT;

PROCEDURE (self:SecureCacheResponse) getLocalPrincipal*() : java_security.Principal,NEW,ABSTRACT;

PROCEDURE (self:SecureCacheResponse) getPeerPrincipal*() : java_security.Principal,NEW,ABSTRACT;

PROCEDURE (self:SecureCacheResponse) getServerCertificateChain*() : java_util.List,NEW,ABSTRACT;

PROCEDURE (self:ServerSocket) accept*() : Socket,NEW,EXTENSIBLE;

PROCEDURE (self:ServerSocket) bind*(p0 : SocketAddress),NEW,EXTENSIBLE;

PROCEDURE (self:ServerSocket) bind*(p0 : SocketAddress;
                                    p1 : INTEGER),NEW,EXTENSIBLE;

PROCEDURE (self:ServerSocket) close*(),NEW,EXTENSIBLE;

PROCEDURE (self:ServerSocket) getChannel*() : java_nio_channels.ServerSocketChannel,NEW,EXTENSIBLE;

PROCEDURE (self:ServerSocket) getInetAddress*() : InetAddress,NEW,EXTENSIBLE;

PROCEDURE (self:ServerSocket) getLocalPort*() : INTEGER,NEW,EXTENSIBLE;

PROCEDURE (self:ServerSocket) getLocalSocketAddress*() : SocketAddress,NEW,EXTENSIBLE;

PROCEDURE (self:ServerSocket) getReceiveBufferSize*() : INTEGER,NEW,EXTENSIBLE;

PROCEDURE (self:ServerSocket) getReuseAddress*() : BOOLEAN,NEW,EXTENSIBLE;

PROCEDURE (self:ServerSocket) getSoTimeout*() : INTEGER,NEW,EXTENSIBLE;

PROCEDURE (self:ServerSocket) implAccept!(p0 : Socket),NEW;

PROCEDURE (self:ServerSocket) isBound*() : BOOLEAN,NEW,EXTENSIBLE;

PROCEDURE (self:ServerSocket) isClosed*() : BOOLEAN,NEW,EXTENSIBLE;

PROCEDURE (self:ServerSocket) setPerformancePreferences*(p0 : INTEGER;
                                                         p1 : INTEGER;
                                                         p2 : INTEGER),NEW,EXTENSIBLE;

PROCEDURE (self:ServerSocket) setReceiveBufferSize*(p0 : INTEGER),NEW,EXTENSIBLE;

PROCEDURE (self:ServerSocket) setReuseAddress*(p0 : BOOLEAN),NEW,EXTENSIBLE;

PROCEDURE (self:ServerSocket) setSoTimeout*(p0 : INTEGER),NEW,EXTENSIBLE;

PROCEDURE (self:ServerSocket) toString*() : java_lang.String,EXTENSIBLE;

PROCEDURE (self:Socket) bind*(p0 : SocketAddress),NEW,EXTENSIBLE;

PROCEDURE (self:Socket) close*(),NEW,EXTENSIBLE;

PROCEDURE (self:Socket) connect*(p0 : SocketAddress),NEW,EXTENSIBLE;

PROCEDURE (self:Socket) connect*(p0 : SocketAddress;
                                 p1 : INTEGER),NEW,EXTENSIBLE;

PROCEDURE (self:Socket) getChannel*() : java_nio_channels.SocketChannel,NEW,EXTENSIBLE;

PROCEDURE (self:Socket) getInetAddress*() : InetAddress,NEW,EXTENSIBLE;

PROCEDURE (self:Socket) getInputStream*() : java_io.InputStream,NEW,EXTENSIBLE;

PROCEDURE (self:Socket) getKeepAlive*() : BOOLEAN,NEW,EXTENSIBLE;

PROCEDURE (self:Socket) getLocalAddress*() : InetAddress,NEW,EXTENSIBLE;

PROCEDURE (self:Socket) getLocalPort*() : INTEGER,NEW,EXTENSIBLE;

PROCEDURE (self:Socket) getLocalSocketAddress*() : SocketAddress,NEW,EXTENSIBLE;

PROCEDURE (self:Socket) getOOBInline*() : BOOLEAN,NEW,EXTENSIBLE;

PROCEDURE (self:Socket) getOutputStream*() : java_io.OutputStream,NEW,EXTENSIBLE;

PROCEDURE (self:Socket) getPort*() : INTEGER,NEW,EXTENSIBLE;

PROCEDURE (self:Socket) getReceiveBufferSize*() : INTEGER,NEW,EXTENSIBLE;

PROCEDURE (self:Socket) getRemoteSocketAddress*() : SocketAddress,NEW,EXTENSIBLE;

PROCEDURE (self:Socket) getReuseAddress*() : BOOLEAN,NEW,EXTENSIBLE;

PROCEDURE (self:Socket) getSendBufferSize*() : INTEGER,NEW,EXTENSIBLE;

PROCEDURE (self:Socket) getSoLinger*() : INTEGER,NEW,EXTENSIBLE;

PROCEDURE (self:Socket) getSoTimeout*() : INTEGER,NEW,EXTENSIBLE;

PROCEDURE (self:Socket) getTcpNoDelay*() : BOOLEAN,NEW,EXTENSIBLE;

PROCEDURE (self:Socket) getTrafficClass*() : INTEGER,NEW,EXTENSIBLE;

PROCEDURE (self:Socket) isBound*() : BOOLEAN,NEW,EXTENSIBLE;

PROCEDURE (self:Socket) isClosed*() : BOOLEAN,NEW,EXTENSIBLE;

PROCEDURE (self:Socket) isConnected*() : BOOLEAN,NEW,EXTENSIBLE;

PROCEDURE (self:Socket) isInputShutdown*() : BOOLEAN,NEW,EXTENSIBLE;

PROCEDURE (self:Socket) isOutputShutdown*() : BOOLEAN,NEW,EXTENSIBLE;

PROCEDURE (self:Socket) sendUrgentData*(p0 : INTEGER),NEW,EXTENSIBLE;

PROCEDURE (self:Socket) setKeepAlive*(p0 : BOOLEAN),NEW,EXTENSIBLE;

PROCEDURE (self:Socket) setOOBInline*(p0 : BOOLEAN),NEW,EXTENSIBLE;

PROCEDURE (self:Socket) setPerformancePreferences*(p0 : INTEGER;
                                                   p1 : INTEGER;
                                                   p2 : INTEGER),NEW,EXTENSIBLE;

PROCEDURE (self:Socket) setReceiveBufferSize*(p0 : INTEGER),NEW,EXTENSIBLE;

PROCEDURE (self:Socket) setReuseAddress*(p0 : BOOLEAN),NEW,EXTENSIBLE;

PROCEDURE (self:Socket) setSendBufferSize*(p0 : INTEGER),NEW,EXTENSIBLE;

PROCEDURE (self:Socket) setSoLinger*(p0 : BOOLEAN;
                                     p1 : INTEGER),NEW,EXTENSIBLE;

PROCEDURE (self:Socket) setSoTimeout*(p0 : INTEGER),NEW,EXTENSIBLE;

PROCEDURE (self:Socket) setTcpNoDelay*(p0 : BOOLEAN),NEW,EXTENSIBLE;

PROCEDURE (self:Socket) setTrafficClass*(p0 : INTEGER),NEW,EXTENSIBLE;

PROCEDURE (self:Socket) shutdownInput*(),NEW,EXTENSIBLE;

PROCEDURE (self:Socket) shutdownOutput*(),NEW,EXTENSIBLE;

PROCEDURE (self:Socket) toString*() : java_lang.String,EXTENSIBLE;

PROCEDURE (self:SocketImpl) accept!(p0 : SocketImpl),NEW,ABSTRACT;

PROCEDURE (self:SocketImpl) available!() : INTEGER,NEW,ABSTRACT;

PROCEDURE (self:SocketImpl) bind!(p0 : InetAddress;
                                  p1 : INTEGER),NEW,ABSTRACT;

PROCEDURE (self:SocketImpl) close!(),NEW,ABSTRACT;

PROCEDURE (self:SocketImpl) connect!(p0 : InetAddress;
                                     p1 : INTEGER),NEW,ABSTRACT;

PROCEDURE (self:SocketImpl) connect!(p0 : java_lang.String;
                                     p1 : INTEGER),NEW,ABSTRACT;

PROCEDURE (self:SocketImpl) connect!(p0 : SocketAddress;
                                     p1 : INTEGER),NEW,ABSTRACT;

PROCEDURE (self:SocketImpl) create!(p0 : BOOLEAN),NEW,ABSTRACT;

PROCEDURE (self:SocketImpl) getFileDescriptor!() : java_io.FileDescriptor,NEW,EXTENSIBLE;

PROCEDURE (self:SocketImpl) getInetAddress!() : InetAddress,NEW,EXTENSIBLE;

PROCEDURE (self:SocketImpl) getInputStream!() : java_io.InputStream,NEW,ABSTRACT;

PROCEDURE (self:SocketImpl) getLocalPort!() : INTEGER,NEW,EXTENSIBLE;

PROCEDURE (self:SocketImpl) getOutputStream!() : java_io.OutputStream,NEW,ABSTRACT;

PROCEDURE (self:SocketImpl) getPort!() : INTEGER,NEW,EXTENSIBLE;

PROCEDURE (self:SocketImpl) listen!(p0 : INTEGER),NEW,ABSTRACT;

PROCEDURE (self:SocketImpl) sendUrgentData!(p0 : INTEGER),NEW,ABSTRACT;

PROCEDURE (self:SocketImpl) setPerformancePreferences!(p0 : INTEGER;
                                                       p1 : INTEGER;
                                                       p2 : INTEGER),NEW,EXTENSIBLE;

PROCEDURE (self:SocketImpl) shutdownInput!(),NEW,EXTENSIBLE;

PROCEDURE (self:SocketImpl) shutdownOutput!(),NEW,EXTENSIBLE;

PROCEDURE (self:SocketImpl) supportsUrgentData!() : BOOLEAN,NEW,EXTENSIBLE;

PROCEDURE (self:SocketImpl) toString*() : java_lang.String,EXTENSIBLE;

PROCEDURE (self:SocketImplFactory) createSocketImpl*() : SocketImpl,NEW,ABSTRACT;

PROCEDURE (self:SocketOptions) getOption*(p0 : INTEGER) : java_lang.Object,NEW,ABSTRACT;

PROCEDURE (self:SocketOptions) setOption*(p0 : INTEGER;
                                          p1 : java_lang.Object),NEW,ABSTRACT;

PROCEDURE (self:SocketPermission) equals*(p0 : java_lang.Object) : BOOLEAN,EXTENSIBLE;

PROCEDURE (self:SocketPermission) getActions*() : java_lang.String,EXTENSIBLE;

PROCEDURE (self:SocketPermission) hashCode*() : INTEGER,EXTENSIBLE;

PROCEDURE (self:SocketPermission) implies*(p0 : java_security.Permission) : BOOLEAN,EXTENSIBLE;

PROCEDURE (self:SocketPermission) newPermissionCollection*() : java_security.PermissionCollection,EXTENSIBLE;

PROCEDURE (self:URI) compareTo*(p0 : URI) : INTEGER,NEW,EXTENSIBLE;

PROCEDURE (self:URI) compareTo*(p0 : java_lang.Object) : INTEGER,NEW,EXTENSIBLE;

PROCEDURE (self:URI) equals*(p0 : java_lang.Object) : BOOLEAN,EXTENSIBLE;

PROCEDURE (self:URI) getAuthority*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:URI) getFragment*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:URI) getHost*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:URI) getPath*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:URI) getPort*() : INTEGER,NEW,EXTENSIBLE;

PROCEDURE (self:URI) getQuery*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:URI) getRawAuthority*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:URI) getRawFragment*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:URI) getRawPath*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:URI) getRawQuery*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:URI) getRawSchemeSpecificPart*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:URI) getRawUserInfo*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:URI) getScheme*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:URI) getSchemeSpecificPart*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:URI) getUserInfo*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:URI) hashCode*() : INTEGER,EXTENSIBLE;

PROCEDURE (self:URI) isAbsolute*() : BOOLEAN,NEW,EXTENSIBLE;

PROCEDURE (self:URI) isOpaque*() : BOOLEAN,NEW,EXTENSIBLE;

PROCEDURE (self:URI) normalize*() : URI,NEW,EXTENSIBLE;

PROCEDURE (self:URI) parseServerAuthority*() : URI,NEW,EXTENSIBLE;

PROCEDURE (self:URI) relativize*(p0 : URI) : URI,NEW,EXTENSIBLE;

PROCEDURE (self:URI) resolve*(p0 : java_lang.String) : URI,NEW,EXTENSIBLE;

PROCEDURE (self:URI) resolve*(p0 : URI) : URI,NEW,EXTENSIBLE;

PROCEDURE (self:URI) toASCIIString*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:URI) toString*() : java_lang.String,EXTENSIBLE;

PROCEDURE (self:URI) toURL*() : URL,NEW,EXTENSIBLE;

PROCEDURE (self:URISyntaxException) getIndex*() : INTEGER,NEW,EXTENSIBLE;

PROCEDURE (self:URISyntaxException) getInput*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:URISyntaxException) getMessage*() : java_lang.String,EXTENSIBLE;

PROCEDURE (self:URISyntaxException) getReason*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:URL) equals*(p0 : java_lang.Object) : BOOLEAN,EXTENSIBLE;

PROCEDURE (self:URL) getAuthority*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:URL) getContent*() : java_lang.Object,NEW;

PROCEDURE (self:URL) getContent*(IN  p0 : ARRAY OF java_lang.Class) : java_lang.Object,NEW;

PROCEDURE (self:URL) getDefaultPort*() : INTEGER,NEW,EXTENSIBLE;

PROCEDURE (self:URL) getFile*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:URL) getHost*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:URL) getPath*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:URL) getPort*() : INTEGER,NEW,EXTENSIBLE;

PROCEDURE (self:URL) getProtocol*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:URL) getQuery*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:URL) getRef*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:URL) getUserInfo*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:URL) hashCode*() : INTEGER,EXTENSIBLE;

PROCEDURE (self:URL) openConnection*(p0 : Proxy) : URLConnection,NEW,EXTENSIBLE;

PROCEDURE (self:URL) openConnection*() : URLConnection,NEW,EXTENSIBLE;

PROCEDURE (self:URL) openStream*() : java_io.InputStream,NEW;

PROCEDURE (self:URL) sameFile*(p0 : URL) : BOOLEAN,NEW,EXTENSIBLE;

PROCEDURE (self:URL) set!(p0 : java_lang.String;
                          p1 : java_lang.String;
                          p2 : INTEGER;
                          p3 : java_lang.String;
                          p4 : java_lang.String;
                          p5 : java_lang.String;
                          p6 : java_lang.String;
                          p7 : java_lang.String),NEW,EXTENSIBLE;

PROCEDURE (self:URL) set!(p0 : java_lang.String;
                          p1 : java_lang.String;
                          p2 : INTEGER;
                          p3 : java_lang.String;
                          p4 : java_lang.String),NEW,EXTENSIBLE;

PROCEDURE (self:URL) toExternalForm*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:URL) toString*() : java_lang.String,EXTENSIBLE;

PROCEDURE (self:URL) toURI*() : URI,NEW,EXTENSIBLE;

PROCEDURE (self:URLClassLoader) addURL!(p0 : URL),NEW,EXTENSIBLE;

PROCEDURE (self:URLClassLoader) definePackage!(p0 : java_lang.String;
                                               p1 : java_util_jar.Manifest;
                                               p2 : URL) : java_lang.Package,NEW,EXTENSIBLE;

PROCEDURE (self:URLClassLoader) findClass!(p0 : java_lang.String) : java_lang.Class,EXTENSIBLE;

PROCEDURE (self:URLClassLoader) findResource*(p0 : java_lang.String) : URL,EXTENSIBLE;

PROCEDURE (self:URLClassLoader) findResources*(p0 : java_lang.String) : java_util.Enumeration,EXTENSIBLE;

PROCEDURE (self:URLClassLoader) getPermissions!(p0 : java_security.CodeSource) : java_security.PermissionCollection,EXTENSIBLE;

PROCEDURE (self:URLClassLoader) getURLs*() : POINTER TO ARRAY OF URL,NEW,EXTENSIBLE;

PROCEDURE (self:URLConnection) addRequestProperty*(p0 : java_lang.String;
                                                   p1 : java_lang.String),NEW,EXTENSIBLE;

PROCEDURE (self:URLConnection) connect*(),NEW,ABSTRACT;

PROCEDURE (self:URLConnection) getAllowUserInteraction*() : BOOLEAN,NEW,EXTENSIBLE;

PROCEDURE (self:URLConnection) getConnectTimeout*() : INTEGER,NEW,EXTENSIBLE;

PROCEDURE (self:URLConnection) getContent*() : java_lang.Object,NEW,EXTENSIBLE;

PROCEDURE (self:URLConnection) getContent*(IN  p0 : ARRAY OF java_lang.Class) : java_lang.Object,NEW,EXTENSIBLE;

PROCEDURE (self:URLConnection) getContentEncoding*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:URLConnection) getContentLength*() : INTEGER,NEW,EXTENSIBLE;

PROCEDURE (self:URLConnection) getContentType*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:URLConnection) getDate*() : LONGINT,NEW,EXTENSIBLE;

PROCEDURE (self:URLConnection) getDefaultUseCaches*() : BOOLEAN,NEW,EXTENSIBLE;

PROCEDURE (self:URLConnection) getDoInput*() : BOOLEAN,NEW,EXTENSIBLE;

PROCEDURE (self:URLConnection) getDoOutput*() : BOOLEAN,NEW,EXTENSIBLE;

PROCEDURE (self:URLConnection) getExpiration*() : LONGINT,NEW,EXTENSIBLE;

PROCEDURE (self:URLConnection) getHeaderField*(p0 : INTEGER) : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:URLConnection) getHeaderField*(p0 : java_lang.String) : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:URLConnection) getHeaderFieldDate*(p0 : java_lang.String;
                                                   p1 : LONGINT) : LONGINT,NEW,EXTENSIBLE;

PROCEDURE (self:URLConnection) getHeaderFieldInt*(p0 : java_lang.String;
                                                  p1 : INTEGER) : INTEGER,NEW,EXTENSIBLE;

PROCEDURE (self:URLConnection) getHeaderFieldKey*(p0 : INTEGER) : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:URLConnection) getHeaderFields*() : java_util.Map,NEW,EXTENSIBLE;

PROCEDURE (self:URLConnection) getIfModifiedSince*() : LONGINT,NEW,EXTENSIBLE;

PROCEDURE (self:URLConnection) getInputStream*() : java_io.InputStream,NEW,EXTENSIBLE;

PROCEDURE (self:URLConnection) getLastModified*() : LONGINT,NEW,EXTENSIBLE;

PROCEDURE (self:URLConnection) getOutputStream*() : java_io.OutputStream,NEW,EXTENSIBLE;

PROCEDURE (self:URLConnection) getPermission*() : java_security.Permission,NEW,EXTENSIBLE;

PROCEDURE (self:URLConnection) getReadTimeout*() : INTEGER,NEW,EXTENSIBLE;

PROCEDURE (self:URLConnection) getRequestProperties*() : java_util.Map,NEW,EXTENSIBLE;

PROCEDURE (self:URLConnection) getRequestProperty*(p0 : java_lang.String) : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:URLConnection) getURL*() : URL,NEW,EXTENSIBLE;

PROCEDURE (self:URLConnection) getUseCaches*() : BOOLEAN,NEW,EXTENSIBLE;

PROCEDURE (self:URLConnection) setAllowUserInteraction*(p0 : BOOLEAN),NEW,EXTENSIBLE;

PROCEDURE (self:URLConnection) setConnectTimeout*(p0 : INTEGER),NEW,EXTENSIBLE;

PROCEDURE (self:URLConnection) setDefaultUseCaches*(p0 : BOOLEAN),NEW,EXTENSIBLE;

PROCEDURE (self:URLConnection) setDoInput*(p0 : BOOLEAN),NEW,EXTENSIBLE;

PROCEDURE (self:URLConnection) setDoOutput*(p0 : BOOLEAN),NEW,EXTENSIBLE;

PROCEDURE (self:URLConnection) setIfModifiedSince*(p0 : LONGINT),NEW,EXTENSIBLE;

PROCEDURE (self:URLConnection) setReadTimeout*(p0 : INTEGER),NEW,EXTENSIBLE;

PROCEDURE (self:URLConnection) setRequestProperty*(p0 : java_lang.String;
                                                   p1 : java_lang.String),NEW,EXTENSIBLE;

PROCEDURE (self:URLConnection) setUseCaches*(p0 : BOOLEAN),NEW,EXTENSIBLE;

PROCEDURE (self:URLConnection) toString*() : java_lang.String,EXTENSIBLE;

PROCEDURE (self:URLStreamHandler) equals!(p0 : URL;
                                          p1 : URL) : BOOLEAN,NEW,EXTENSIBLE;

PROCEDURE (self:URLStreamHandler) getDefaultPort!() : INTEGER,NEW,EXTENSIBLE;

PROCEDURE (self:URLStreamHandler) getHostAddress!(p0 : URL) : InetAddress,NEW,EXTENSIBLE;

PROCEDURE (self:URLStreamHandler) hashCode!(p0 : URL) : INTEGER,NEW,EXTENSIBLE;

PROCEDURE (self:URLStreamHandler) hostsEqual!(p0 : URL;
                                              p1 : URL) : BOOLEAN,NEW,EXTENSIBLE;

PROCEDURE (self:URLStreamHandler) openConnection!(p0 : URL) : URLConnection,NEW,ABSTRACT;

PROCEDURE (self:URLStreamHandler) openConnection!(p0 : URL;
                                                  p1 : Proxy) : URLConnection,NEW,EXTENSIBLE;

PROCEDURE (self:URLStreamHandler) parseURL!(p0 : URL;
                                            p1 : java_lang.String;
                                            p2 : INTEGER;
                                            p3 : INTEGER),NEW,EXTENSIBLE;

PROCEDURE (self:URLStreamHandler) sameFile!(p0 : URL;
                                            p1 : URL) : BOOLEAN,NEW,EXTENSIBLE;

PROCEDURE (self:URLStreamHandler) setURL!(p0 : URL;
                                          p1 : java_lang.String;
                                          p2 : java_lang.String;
                                          p3 : INTEGER;
                                          p4 : java_lang.String;
                                          p5 : java_lang.String;
                                          p6 : java_lang.String;
                                          p7 : java_lang.String;
                                          p8 : java_lang.String),NEW,EXTENSIBLE;

PROCEDURE (self:URLStreamHandler) setURL!(p0 : URL;
                                          p1 : java_lang.String;
                                          p2 : java_lang.String;
                                          p3 : INTEGER;
                                          p4 : java_lang.String;
                                          p5 : java_lang.String),NEW,EXTENSIBLE;

PROCEDURE (self:URLStreamHandler) toExternalForm!(p0 : URL) : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:URLStreamHandlerFactory) createURLStreamHandler*(p0 : java_lang.String) : URLStreamHandler,NEW,ABSTRACT;

END java_net.