X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fanalysis%2FFinder.java;h=33c6a23ffc532be3abbd48836459ffbcf3b2835e;hb=d043ce47fc710d3eb2629ba926a8a7417bd67d8c;hp=f8cfcbfbb21501c2698be87bbcca3e3905dbb222;hpb=04c8f7bff663aa469127e9eed4164e02933782f1;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();