<div dir="ltr"><div dir="ltr">On Thu, May 9, 2024 at 12:43 PM Bernd Eckenfels <<a href="mailto:ecki@zusammenkunft.net">ecki@zusammenkunft.net</a>> wrote:</div><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div class="msg-923325126099655513"><u></u><div>But this one here is still open:
<p>* <a href="https://bugs.openjdk.org/browse/JDK-8298530" rel="nofollow noopener" target="_blank">[JDK-8298530] ZipInputStream.readEnd fails for certain ZIP64 archives with small files - Java Bug System (openjdk.org)</a></p></div></div></blockquote><div>FWIW when I run the test case in that bug on the latest JDK 23 (jdk-23+21-110-g0a4eeeaa3c6), it does not report any exception.</div><div><br></div><div>So this bug may have gotten fixed by recent changes and just needs to be closed... ?</div><div><br></div><div>-Archie</div><br clear="all"></div><span class="gmail_signature_prefix">-- </span><br><div dir="ltr" class="gmail_signature">Archie L. Cobbs<br></div></div>