X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;ds=sidebyside;f=src%2Fjalview%2Fanalysis%2FFinder.java;h=33c6a23ffc532be3abbd48836459ffbcf3b2835e;hb=dc82563dc0d6752da31ade9031035854e5c33409;hp=f8cfcbfbb21501c2698be87bbcca3e3905dbb222;hpb=57738a1f3c19b1c3a00bd3ac5108f8cd0af32f99;p=jalview.git

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