docs: public static void extractZip(final String path, final File dest, final String prefix, final renamer rename,
                                    final streamCopier copier) throws IOException {
          FilenameFilter filter = null;
          if (null != prefix) {
              filter = new FilenameFilter() {
                  public boolean accept(final File file, final String name) {
                      return name.startsWith(prefix);
                  }
              };
          }
          extractZip(path, dest, filter, rename, copier);
  
      }