tk_class_name = "gnu.awt.peer.gtk.GTKToolkit";
tk_class_name = "gnu.awt.gtk.GtkToolkit";
  public static Toolkit getDefaultToolkit()  {    if (defaultToolkit != null)      return defaultToolkit;        Class toolkit_class;    String tk_class_name = System.getProperty("awt.toolkit");    if (tk_class_name == null)      tk_class_name = "gnu.awt.peer.gtk.GTKToolkit";    try    {      toolkit_class = Class.forName(tk_class_name);      defaultToolkit = (Toolkit) toolkit_class.newInstance();    }    catch (Exception x)    {      throw new AWTError("Toolkit class " + tk_class_name +         		 " could not be initialized:\n  " + x);    }    return defaultToolkit;  }