Merge branch 'develop' into merged_2_11_2_0_to_2_12

[jalview.git] / src / jalview / ws / dbsources / EmblFlatfileSource.java

diff --git a/src/jalview/ws/dbsources/EmblFlatfileSource.java b/src/jalview/ws/dbsources/EmblFlatfileSource.java
index 50ccba2..577bc0f 100644 (file)
--- a/src/jalview/ws/dbsources/EmblFlatfileSource.java
+++ b/src/jalview/ws/dbsources/EmblFlatfileSource.java
@@ -34,6 +34,7 @@ import jalview.datamodel.SequenceI;
 import jalview.io.DataSourceType;
 import jalview.io.EmblFlatFile;
 import jalview.io.FileParse;
+import jalview.util.Platform;
 import jalview.ws.ebi.EBIFetchClient;
 
 /**
@@ -44,7 +45,7 @@ import jalview.ws.ebi.EBIFetchClient;
  */
 public abstract class EmblFlatfileSource extends EbiFileRetrievedProxy
 {
-  private static final Regex ACCESSION_REGEX = new Regex("^[A-Z]+[0-9]+");
+  private static final Regex ACCESSION_REGEX = Platform.newRegex("^[A-Z]+[0-9]+");
 
   @Override
   public String getDbVersion()