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