URLStreamHandler.java (toExternalForm): Print port only if host is printed too and port was really given to URL.
2003-11-11 Micheal Koch <konqueror@gmx.de>
* java/net/URLStreamHandler.java (toExternalForm): Print port only
if host is printed too and port was really given to URL.
From-SVN: r73445
