Micro patch

[Shane Nay]

Might seem silly, but I'm working on bringing classpath to another 
widget/windowing enviro, and noticed this little thing which seems to be a 
mistake.  The default_toolkit_name is a private variable, and declared to the 
value "gnu.java.awt.peer.gtk.GtkToolkit".  It is never accessed presently, 
and I believe that it was meant to be put in where I moved it to.  (This 
might seem really trivial/stupid, but I noticed it since I'm working on 
another widget set, and this variable is *extremely* important in that case :)

Thanks,
Shane Nay.
(Working on bringing picogui to GNUClasspath/kissme, just starting, will note 
to the list when I make any serious progress)

Index: Toolkit.java
===================================================================
RCS file: /cvs/classpath/java/awt/Toolkit.java,v
retrieving revision 1.5
diff -u -r1.5 Toolkit.java
--- Toolkit.java        2000/03/17 23:49:54     1.5
+++ Toolkit.java        2001/05/10 13:10:02
@@ -82,7 +82,7 @@
     return(toolkit);
 
   String toolkit_name = System.getProperty("awt.toolkit",
-                          "gnu.java.awt.peer.gtk.GtkToolkit");
+                          default_toolkit_name);
 
   try
     {