*/
package jalview.io;
+import java.util.Locale;
+
import jalview.util.MessageManager;
import java.io.File;
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)" : ""));
}
}
}
public String getTypeDescription(File f)
{
String extension = getExtension(f);
-
+
String type = getDescriptionForExtension(extension);
-
+
if (extension != null)
{
if (extensions.containsKey(extension))
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())
if ((i > 0) && (i < (s.length() - 1)))
{
- ext = s.substring(i + 1).toLowerCase();
+ ext = s.substring(i + 1).toLowerCase(Locale.ROOT);
}
return ext;
}
else
{
- System.err.println(
+ jalview.bin.Console.errPrintln(
"JalviewFileView.createImageIcon: Couldn't find file: "
+ filePath);
}