diff --git a/gcc/java/ChangeLog b/gcc/java/ChangeLog
index aa858e80ee0a2d9d495aa489a3119ea1246fe6cd..de4370dbeb120485350e156f3843b7b86ad4b440 100644
--- a/gcc/java/ChangeLog
+++ b/gcc/java/ChangeLog
@@ -1,5 +1,8 @@
 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>
diff --git a/gcc/java/gcj.texi b/gcc/java/gcj.texi
index cb7ee692c7bc70a72f0f47664a1046c5a3aede5a..8a40b7739f0b8350a319055260b09d0aedacb4fd 100644
--- a/gcc/java/gcj.texi
+++ b/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