Merge branch 'develop' into update_212_Dec_merge_with_21125_chamges

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

diff --git a/src/jalview/analysis/Finder.java b/src/jalview/analysis/Finder.java
index f8cfcbf..33c6a23 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();