docs: public Jar addEntries(Path path, Path dirOrZip, Filter filter) throws IOException {
          if (Files.isDirectory(dirOrZip))
              addDir(path, dirOrZip, filter, true);
          else {
              try (JarInputStream jis1 = newJarInputStream(Files.newInputStream(dirOrZip))) {
                  addEntries(path, jis1, filter);
              }
          }
          return this;
      }