The JDK ZIP library is not smart enough to handle archives with CP437-encoded filenames. An example: [data.zip](https://github.com/user-attachments/files/17754325/data.zip) We could add an `$options` argument to all [Archive Functions](https://docs.basex.org/main/Archive_Functions) that open and create/update archives.