X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fio%2FBackupFilenameParts.java;h=4f93eced8db2b39465c2dae904270840eeff52ea;hb=2c6e8912516541ca2a380c3bb35a656fe7afdab2;hp=a4fbb3bc02b93dbadc69d0e50973f252c0ac8190;hpb=931daab211a1e95e7d4a1084d8498d2e770c0cb2;p=jalview.git

diff --git a/src/jalview/io/BackupFilenameParts.java b/src/jalview/io/BackupFilenameParts.java
index a4fbb3b..4f93ece 100644
--- a/src/jalview/io/BackupFilenameParts.java
+++ b/src/jalview/io/BackupFilenameParts.java
@@ -93,7 +93,11 @@ public class BackupFilenameParts
     if (filename.length() >= startLength + digits + endLength
             && filename.startsWith(base + templateStart)
             && filename.endsWith(templateEnd)
-            && numString.matches("[0-9]*"))
+            // match exactly digits number of number-characters (numString
+            // should be all digits and at least the right length), or more than
+            // digits long with proviso it's not zero-leading.
+            && (numString.matches("[0-9]{" + digits + "}")
+                    || numString.matches("[1-9][0-9]{" + digits + ",}")))
     {
       this.base = extensionMatch ? savedFilename + base : base;
       this.templateStart = templateStart;