X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;ds=sidebyside;f=src%2Fjalview%2Fgui%2FJDatabaseTree.java;h=9ae764ed687870f5484bdb4379e2d54d11aa9738;hb=c81cbfa7472e56c48bcdf068d21a46db29617351;hp=8d62433d5bab9b4d1d7c6c3b0136d9fa8b0617df;hpb=26501f76ef450657c530de489b8404356a98aca3;p=jalview.git diff --git a/src/jalview/gui/JDatabaseTree.java b/src/jalview/gui/JDatabaseTree.java index 8d62433..9ae764e 100644 --- a/src/jalview/gui/JDatabaseTree.java +++ b/src/jalview/gui/JDatabaseTree.java @@ -20,6 +20,8 @@ */ package jalview.gui; +import java.util.Locale; + import jalview.util.MessageManager; import jalview.ws.seqfetcher.DbSourceProxy; @@ -120,7 +122,7 @@ public class JDatabaseTree extends JalviewDialog implements KeyListener } else { - System.err.println("dupe ig for : " + dbs[i] + " \t" + jalview.bin.Console.errPrintln("dupe ig for : " + dbs[i] + " \t" + dbp.getDbName() + " (" + dbp.getDbSource() + ")"); source.remove(tn); } @@ -227,11 +229,12 @@ public class JDatabaseTree extends JalviewDialog implements KeyListener if (child.getUserObject() instanceof DbSourceProxy) { names[i] = ((DbSourceProxy) child.getUserObject()).getDbName() - .toLowerCase(); + .toLowerCase(Locale.ROOT); } else { - names[i] = ((String) child.getUserObject()).toLowerCase(); + names[i] = ((String) child.getUserObject()) + .toLowerCase(Locale.ROOT); sortTreeNodes(child); } } @@ -516,7 +519,6 @@ public class JDatabaseTree extends JalviewDialog implements KeyListener lstners.remove(actionListener); } - @Override public void keyPressed(KeyEvent arg0) { @@ -550,7 +552,7 @@ public class JDatabaseTree extends JalviewDialog implements KeyListener @Override public void setVisible(boolean arg0) { - System.out.println("setVisible: " + arg0); + jalview.bin.Console.outPrintln("setVisible: " + arg0); super.setVisible(arg0); } }