Merge commit 'alpha/update_2_12_for_2_11_2_series_merge^2' into HEAD

[jalview.git] / src / jalview / analysis / Finder.java

diff --git a/src/jalview/analysis/Finder.java b/src/jalview/analysis/Finder.java
index bf86a86..9aef9c0 100644 (file)
--- a/src/jalview/analysis/Finder.java
+++ b/src/jalview/analysis/Finder.java
@@ -31,6 +31,7 @@ import jalview.datamodel.SearchResultsI;
 import jalview.datamodel.SequenceGroup;
 import jalview.datamodel.SequenceI;
 import jalview.util.Comparison;
+import jalview.util.Platform;
 import jalview.util.MapList;
 
 import java.util.ArrayList;
@@ -151,7 +152,7 @@ public class Finder implements FinderI
 
     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();