*/
package jalview.gui;
+import java.util.Locale;
+
import java.awt.Dimension;
import java.awt.event.ActionEvent;
import java.awt.event.FocusAdapter;
if (idMatch.size() > 0 && searchResults.getCount() > 0)
{
message.append(" ").append(
- MessageManager.getString("label.and").toLowerCase())
+ MessageManager.getString("label.and").toLowerCase(Locale.ROOT))
.append(" ");
}
message.append(MessageManager.formatMessage(