+ public static String getBackupFilename(int index, String base,
+ String template, int digits, String extension)
+ {
+ String numString = String.format("%0" + digits + "d", index);
+ String backupSuffix = template.replaceAll(BackupFiles.NUM_PLACEHOLDER,
+ numString);
+ String backupfilename = base + backupSuffix + extension;
+ return backupfilename;
+ }
+