*/
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();
+ ext = ext.trim().toLowerCase(Locale.ROOT);
extensions.put(ext,
desc + ("jar".equals(ext) ? " (old)" : ""));
}
if ((i > 0) && (i < (s.length() - 1)))
{
- ext = s.substring(i + 1).toLowerCase();
+ ext = s.substring(i + 1).toLowerCase(Locale.ROOT);
}
return ext;