X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fio%2FJalviewFileView.java;h=599678122e40c47d0c9506edb26d13bd52a7c52c;hb=faf491e024f9835435f5dd6c20a033250dd9297d;hp=857d0432b1589975c58d77014ec4623d3075a9d0;hpb=db80eb8e1acf352e72a33e1e3825d40f7c6e4046;p=jalview.git

diff --git a/src/jalview/io/JalviewFileView.java b/src/jalview/io/JalviewFileView.java
index 857d043..5996781 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,9 +49,8 @@ public class JalviewFileView extends FileView
       String exts = ff.getExtensions();
       for (String ext : exts.split(","))
       {
-        ext = ext.trim().toLowerCase();
-        extensions.put(ext,
-                desc + ("jar".equals(ext) ? " (old)" : ""));
+        ext = ext.trim().toLowerCase(Locale.ROOT);
+        extensions.put(ext, desc + ("jar".equals(ext) ? " (old)" : ""));
       }
     }
   }
@@ -58,9 +59,9 @@ public class JalviewFileView extends FileView
   public String getTypeDescription(File f)
   {
     String extension = getExtension(f);
-    
+
     String type = getDescriptionForExtension(extension);
-    
+
     if (extension != null)
     {
       if (extensions.containsKey(extension))
@@ -94,9 +95,16 @@ public class JalviewFileView extends FileView
     if (type == null)
     {
       Iterator<String> it = extensions.keySet().iterator();
-      while (it.hasNext())
+      EXTENSION: while (it.hasNext())
       {
         String ext = it.next();
+
+        // quick negative test
+        if (!f.getName().contains(ext))
+        {
+          continue EXTENSION;
+        }
+
         BackupFilenameParts bfp = BackupFilenameParts
                 .currentBackupFilenameParts(f.getName(), ext, true);
         if (bfp.isBackupFile())
@@ -129,7 +137,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;
@@ -161,7 +169,7 @@ public class JalviewFileView extends FileView
         }
         else
         {
-          System.err.println(
+          jalview.bin.Console.errPrintln(
                   "JalviewFileView.createImageIcon: Couldn't find file: "
                           + filePath);
         }