docs: public static void extractZip(final String path, final File dest, final String prefix, final String stripPrefix,
                                    final streamCopier copier) throws IOException {
          extractZip(path, dest, prefix, new PrefixStripper(stripPrefix), copier);
      }