X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fio%2FBackupFilenameFilter.java;h=8144051d9e4408d33880816ebe912737ae233be2;hb=e57f77dc13f5a295cf49a403da05770a68a6e22b;hp=916d66046a7cf4db1b5c42036178fe43150e92e6;hpb=fb7ba61b4b7e4bc0260a288cd07335321f61ad18;p=jalview.git

diff --git a/src/jalview/io/BackupFilenameFilter.java b/src/jalview/io/BackupFilenameFilter.java
index 916d660..8144051 100644
--- a/src/jalview/io/BackupFilenameFilter.java
+++ b/src/jalview/io/BackupFilenameFilter.java
@@ -1,3 +1,23 @@
+/*
+ * Jalview - A Sequence Alignment Editor and Viewer ($$Version-Rel$$)
+ * Copyright (C) $$Year-Rel$$ The Jalview Authors
+ * 
+ * This file is part of Jalview.
+ * 
+ * Jalview is free software: you can redistribute it and/or
+ * modify it under the terms of the GNU General Public License 
+ * as published by the Free Software Foundation, either version 3
+ * of the License, or (at your option) any later version.
+ *  
+ * Jalview is distributed in the hope that it will be useful, but 
+ * WITHOUT ANY WARRANTY; without even the implied warranty 
+ * of MERCHANTABILITY or FITNESS FOR A PARTICULAR 
+ * PURPOSE.  See the GNU General Public License for more details.
+ * 
+ * You should have received a copy of the GNU General Public License
+ * along with Jalview.  If not, see <http://www.gnu.org/licenses/>.
+ * The Jalview Authors are detailed in the 'AUTHORS' file.
+ */
 package jalview.io;
 
 import java.io.File;
@@ -34,8 +54,8 @@ public class BackupFilenameFilter implements FilenameFilter
       }
     } catch (IOException e)
     {
-      System.out.println("IOException when checking file '" + filename
-              + "' is a backupfile");
+      jalview.bin.Console.outPrintln("IOException when checking file '"
+              + filename + "' is a backupfile");
     }
 
     BackupFilenameParts bffp = new BackupFilenameParts(filename, base,
@@ -43,15 +63,4 @@ public class BackupFilenameFilter implements FilenameFilter
     return bffp.isBackupFile();
   }
 
-  public static String getBackupFilename(int index, String base,
-          String template, int digits)
-  {
-    String numString = String.format("%0" + digits + "d", index);
-    String backupSuffix = template.replaceAll(BackupFiles.NUM_PLACEHOLDER,
-            numString);
-    String backupfilename = base + backupSuffix;
-    return backupfilename;
-  }
-
 }
-