Method copyZipEntry

src/bin/zip/ZipMaker.java:172–182

(ZipEntry ze, ZipFile zipFile)

    }

    public void copyZipEntry(ZipEntry ze, ZipFile zipFile) throws IOException {
        putNextRawEntry(ze);
        if (!ze.isDirectory()) {
            InputStream is = zipFile.getRawInputStream(ze);
            byte[] buffer = copyEntryBuffer;
            int len;
            while ((len = is.read(buffer)) != -1) {
                writeRaw(buffer, 0, len);
            }
        }
    }

    public HostEntryHolder putNextHostEntry(String name, ZipFile zipFile) throws IOException {
        if (name.endsWith("/") || name.endsWith("\\")) {