gcj.texi (Standard Properties): Document http.proxyHost and http.proxyPort.

	* gcj.texi (Standard Properties): Document http.proxyHost and
	http.proxyPort.

From-SVN: r60844

gcc/java/ChangeLog

 2003-01-03  Tom Tromey  <tromey@redhat.com>
 
+	* gcj.texi (Standard Properties): Document http.proxyHost and
+	http.proxyPort.
+
 	* gcj.texi (GNU Classpath Properties): Document new properties.
 
 2003-01-02  Steven Bosscher <s.bosscher@student.tudelft.nl>

gcc/java/gcj.texi

@@ -2151,6 +2151,12 @@ Returned by @code{java.awt.Window.getWarningString()} when the window is
 The class name used for initializing the default @code{java.awt.Toolkit}. 
 Defaults to @code{gnu.awt.gtk.GtkToolkit}.
 
+@item http.proxyHost
+Name of proxy host for http connections.
+
+@item http.proxyPort
+Port number to use when a proxy host is in use.
+
 @end table
 
 @node GNU Classpath Properties