There is no support for file permissions in java.util.zip.ZipEntry.

While this may not be part of the primary zip standard, the use of extension data is sufficiently standard for use in the standard `zip` and `unzip` commands.

It would be nice to have such support in `ZipEntry`, without having to resort to other non-JDK libraries or to exec the unzip command to extract the contents of a zip file.