--- /home/cpdev/src/classpath/gnu/java/awt/peer/gtk/GtkGenericPeer.java	2005-07-15 05:32:41.000000000 +0000
+++ gnu/java/awt/peer/gtk/GtkGenericPeer.java	2005-06-30 05:34:04.000000000 +0000
@@ -90,9 +90,4 @@
   }
 
   native void gtkWidgetModifyFont (String name, int style, int size);
-
-  static void printCurrentThread ()
-  {
-    System.out.println ("gtkgenericpeer, thread: " + Thread.currentThread ());
-  }
 }
