gcj.texi (Standard properties): Change default of java.awt.toolkit to gnu.awt.gtk.GtkToolkit.

2002-10-03  Michael Koch  <konqueror@gmx.de>

	* gcj.texi (Standard properties):
	Change default of java.awt.toolkit to gnu.awt.gtk.GtkToolkit.

From-SVN: r57819

gcc/java/ChangeLog

+2002-10-03  Michael Koch  <konqueror@gmx.de>
+
+	* gcj.texi (Standard properties):
+	Change default of java.awt.toolkit to gnu.awt.gtk.GtkToolkit.
+
 2002-10-02  Roger Sayle  <roger@eyesopen.com>
 
 	PR optimization/6627

gcc/java/gcj.texi

@@ -2117,7 +2117,7 @@ Returned by @code{java.awt.Window.getWarningString()} when the window is
 
 @item awt.toolkit
 The class name used for initializing the default @code{java.awt.Toolkit}. 
-Defaults to @code{gnu.java.awt.peer.gtk.GtkToolkit}.
+Defaults to @code{gnu.awt.gtk.GtkToolkit}.
 
 @end table