This is not gratuitous. This is needed to call java.util.zip.Inflater.end() inside zip.getInputStream(e).close(), in order to release native memory. ZipFile.close() does no do it unfortunately.