code: protected Path getArchivePath(long time)
    {
      Path path = getPath();
  
      String archiveFormat = getArchiveFormat();
  
      String name = getFormatName(archiveFormat + _archiveSuffix, time);
      Path newPath = path.resolveSibling(name);
  
      if (Files.exists(newPath)) {
        if (archiveFormat.indexOf("%H") < 0)
          archiveFormat = archiveFormat + ".%H%M";
        else if (archiveFormat.indexOf("%M") < 0)
          archiveFormat = archiveFormat + ".%M";
  
        for (int i = 0; i < 100; i++) {
          String suffix;
  
          if (i == 0)
            suffix = _archiveSuffix;
          else
            suffix = "." + i + _archiveSuffix;
  
          name = getFormatName(archiveFormat + suffix, time);
  
          newPath = path.resolveSibling(name);
  
          if (! Files.exists(newPath)) {
            break;
          }
        }
      }
  
      return newPath;
    }
docs: Returns the name of the archived file
  
  @param time the archive date