Moritz Halbritter 558d811b0a Use JarFile instead of ZipInputStream
ZipInputStream can't cope with some non-deflated entries, see
https://bugs.openjdk.org/browse/JDK-8143613.

JarFile works better, but it doesn't support creation time / access
time.

See gh-38276
2024-03-20 12:11:56 +01:00
..
2024-03-15 11:25:16 +01:00