*/
package jalview.gui;
+import java.util.Locale;
+
import jalview.util.MessageManager;
import jalview.ws.seqfetcher.DbSourceProxy;
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);
}
}