docs: private static String[] listZipPath(final File file, String path) {
          //debug("listJarPath: " + file + ", " + path);
          ArrayList<String> strings = new ArrayList<>();
          try {
              try (final JarInputStream jarInputStream = new JarInputStream(new FileInputStream(file))) {
                  ZipEntry nextJarEntry = jarInputStream.getNextEntry();
                  while (nextJarEntry != null) {
                      if (nextJarEntry.getName().startsWith(path + "/")) {
                          if (!nextJarEntry.getName().endsWith("/")) {
                              strings.add(nextJarEntry.getName().substring(path.length() + 1));
                          }
                      }
                      nextJarEntry=jarInputStream.getNextEntry();
                  }
              }
          } catch (IOException e) {
              return null;
          }
  
          return strings.toArray(new String[strings.size()]);
      }