import jalview.datamodel.SequenceGroup;
import jalview.datamodel.SequenceI;
import jalview.util.Comparison;
+import jalview.util.Platform;
import jalview.util.MapList;
import java.util.ArrayList;
String searchString = matchCase ? theSearchString
: theSearchString.toUpperCase(Locale.ROOT);
- Regex searchPattern = new Regex(searchString);
+ Regex searchPattern = Platform.newRegex(searchString);
searchPattern.setIgnoreCase(!matchCase);
SequenceGroup selection = viewport.getSelectionGroup();