Fixed bugs associated with java.net.URL -- i.e. getPort() won't return the default port if no port is associated with the host -- getPort() must be called first, then checked against -1, then getDefaultPort() must be called.
Fixed bugs associated with java.net.URL -- i.e. getPort() won't
return the default port if no port is associated with the
host -- getPort() must be called first, then checked against -1,
then getDefaultPort() must be called.

digitalbazaar/monarch,digitalbazaar/monarch,digitalbazaar/monarch,digitalbazaar/monarch,digitalbazaar/monarch