*/
package jalview.io;
+import java.util.Locale;
+
import java.io.BufferedReader;
import java.io.FileReader;
import java.io.IOException;
}
else
{
- key = type2id(aa.label.toLowerCase());
+ key = type2id(aa.label.toLowerCase(Locale.ROOT));
if (key == null)
{
label = aa.label;