Index: trunk/src/org/openstreetmap/josm/gui/preferences/DefaultTabPreferenceSetting.java
===================================================================
--- trunk/src/org/openstreetmap/josm/gui/preferences/DefaultTabPreferenceSetting.java	(revision 5631)
+++ trunk/src/org/openstreetmap/josm/gui/preferences/DefaultTabPreferenceSetting.java	(revision 5632)
@@ -96,9 +96,4 @@
                 } catch (IllegalArgumentException e) {
                     // Ignore exception and return false below
-                    e.printStackTrace();
-                    System.out.println(tabpane.getTabCount());
-                    for (int i = 0; i < tabpane.getTabCount() ; i++) {
-                        System.out.println(tabpane.getComponentAt(i));
-                    }
                 }
             }