X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fio%2FJalviewFileView.java;fp=src%2Fjalview%2Fio%2FJalviewFileView.java;h=b90bd7aca13d8626fa6a685d1413d6bd330f86ff;hb=3efc24bc7b7855ff135fa96e35ab1004eaeb4f5e;hp=52d130c3bf69643f355caf1c1a26f41aa98b8a57;hpb=dae56c38c3f14e96308540c30f35ca8f1d917edf;p=jalview.git diff --git a/src/jalview/io/JalviewFileView.java b/src/jalview/io/JalviewFileView.java index 52d130c..b90bd7a 100755 --- a/src/jalview/io/JalviewFileView.java +++ b/src/jalview/io/JalviewFileView.java @@ -20,6 +20,8 @@ */ package jalview.io; +import java.util.Locale; + import jalview.util.MessageManager; import java.io.File; @@ -47,7 +49,7 @@ public class JalviewFileView extends FileView String exts = ff.getExtensions(); for (String ext : exts.split(",")) { - ext = ext.trim().toLowerCase(); + ext = ext.trim().toLowerCase(Locale.ROOT); extensions.put(ext, desc + ("jar".equals(ext) ? " (old)" : "")); } @@ -136,7 +138,7 @@ public class JalviewFileView extends FileView if ((i > 0) && (i < (s.length() - 1))) { - ext = s.substring(i + 1).toLowerCase(); + ext = s.substring(i + 1).toLowerCase(Locale.ROOT); } return ext;