*/
package jalview.analysis;
+import java.util.Locale;
+
import jalview.api.AlignViewportI;
import jalview.api.FinderI;
import jalview.datamodel.AlignmentI;
import jalview.datamodel.SequenceGroup;
import jalview.datamodel.SequenceI;
import jalview.util.Comparison;
+import jalview.util.Platform;
import jalview.util.MapList;
import java.util.ArrayList;
idMatches = new ArrayList<>();
String searchString = matchCase ? theSearchString
- : theSearchString.toUpperCase();
- Regex searchPattern = new Regex(searchString);
+ : theSearchString.toUpperCase(Locale.ROOT);
+ Regex searchPattern = Platform.newRegex(searchString);
searchPattern.setIgnoreCase(!matchCase);
SequenceGroup selection = viewport.getSelectionGroup();