docs: private void handleArchiveByFile(Predicate<String> filter, File archive, List<String> discoveredFiles)
      {
          try
          {
              try (ZipFile zip = new ZipFile(archive))
              {
                  Enumeration<? extends ZipEntry> entries = zip.entries();
                  
                  while (entries.hasMoreElements())
                  {
                      ZipEntry entry = entries.nextElement();
                      String name = entry.getName();
                      if (filter.accept(name))
                          discoveredFiles.add(name);
                  }
              }
          }
          catch (IOException e)
          {
              throw new RuntimeException("Error handling file " + archive, e);
          }
      }