<!DOCTYPE html><html><head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body>
<div class="moz-cite-prefix">On 16/03/2025 09:40, Jaikiran Pai
<jai.forums2013 at gmail.com> wrote:<br>
<br>
</div>
<blockquote type="cite" cite="mid:CAA9v-_O5XmPduKvWkX8npjNLQ26jqTqgXOPtNf0Qqi=Vfta5Zg@mail.gmail.com">
<div dir="ltr">
<div style="font-family:monospace" class="gmail_default"><span style="white-space: pre-wrap">I am not familiar with the compiler implementation code, but speaking in </span><span style="white-space: pre-wrap">context of the ZipFileSystem, it appears that this (undocumented) </span><span style="white-space: pre-wrap">"ziptime-info" property of the ZIP file system was indeed introduced to </span><span style="white-space: pre-wrap">help improve the performance of the ZipFileSystem. </span></div>
</div>
</blockquote>
<br>
It came about in the context of early work to move javac to use
zipfs [1]. I thought there had been follow on work in javac around
this but it seems not. In file system terms, it's okay to have the
equivalent of mount options to configure where time stamps come from
or whether they are updated when accessed/modified. So we could
surface it as documented property although maybe its name should be
examined.<br>
<br>
-Alan<br>
<br>
[1]
<a class="moz-txt-link-freetext" href="https://mail.openjdk.org/pipermail/core-libs-dev/2016-May/040742.html">https://mail.openjdk.org/pipermail/core-libs-dev/2016-May/040742.html</a><br>
</body>
</html>