X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Futil%2FCaseInsensitiveString.java;h=536671db9d7399a16da6027d8866ebb5dbcb5b72;hb=9d2408483e451285fd555c3cd6e0273977acbaa7;hp=a01c035fb5844166ddd14a37077feedb399a78a3;hpb=214ad7e089fdf9cde66ac5e5d56d498101bbe2c3;p=jalview.git

diff --git a/src/jalview/util/CaseInsensitiveString.java b/src/jalview/util/CaseInsensitiveString.java
index a01c035..536671d 100644
--- a/src/jalview/util/CaseInsensitiveString.java
+++ b/src/jalview/util/CaseInsensitiveString.java
@@ -25,6 +25,8 @@ package jalview.util;
  * want to preserve case, but do not want to duplicate upper and lower case
  * variants
  */
+import java.util.Locale;
+
 public final class CaseInsensitiveString
 {
   String value;
@@ -72,6 +74,6 @@ public final class CaseInsensitiveString
   public int hashCode()
   {
     return value == null ? super.hashCode()
-            : value.toUpperCase().hashCode();
+            : value.toUpperCase(Locale.ROOT).hashCode();
   }
 }