import jalview.datamodel.SequenceI;
import jalview.datamodel.VisibleContigsIterator;
import jalview.util.Comparison;
+import jalview.util.Platform;
import java.util.List;
import java.util.Vector;
{
String searchString = matchCase ? theSearchString
: theSearchString.toUpperCase();
- Regex searchPattern = new Regex(searchString);
+ Regex searchPattern = Platform.newRegex(searchString, null);
searchPattern.setIgnoreCase(!matchCase);
searchResults = new SearchResults();