Merge branch 'Jalview-JS/develop' into merge_js_develop

[jalview.git] / src / jalview / io / RnamlFile.java

diff --git a/src/jalview/io/RnamlFile.java b/src/jalview/io/RnamlFile.java
index 4d3ddc1..9551992 100644 (file)
--- a/src/jalview/io/RnamlFile.java
+++ b/src/jalview/io/RnamlFile.java
@@ -26,6 +26,7 @@ import jalview.datamodel.Annotation;
 import jalview.datamodel.Sequence;
 import jalview.datamodel.SequenceI;
 import jalview.util.MessageManager;
+import jalview.util.Platform;
 
 import java.io.BufferedReader;
 import java.io.FileNotFoundException;
@@ -227,7 +228,7 @@ public class RnamlFile extends AlignFile
       dataName = dataName.substring(0, b - 1);
     }
     b = 0;
-    Regex m = new Regex("[\\/]?([-A-Za-z0-9]+)\\.?");
+    Regex m = Platform.newRegex("[\\/]?([-A-Za-z0-9]+)\\.?");
     String mm = dataName;
     while (m.searchFrom(dataName, b))
     {