RFR: JDK-8272984: javadoc support for reproducible builds [v2]

[Jonathan Gibbons]

On Tue, 25 Jan 2022 11:04:42 GMT, Hannes Wallnöfer <hannesw at openjdk.org> wrote:

>> I went out of my way to ensure that the _output_ form was not affected, in case there is anyone relying on the existing format ... and yes, we have tests for that as well.
>> 
>> I'd be open to formally changing the format of the output timestamp, but I think that should be a separate RFE.
>
> What I meant was not to change the format used in javadoc output but rather to preserve the time zone of the timestamp passed as `--date` option argument. Since `java.util.Date.toString()` always uses the default time zone, to reproduce a documentation bundle generated in a different time zone one would have to set the default time zone in addition to using the `--date` option. This could be avoided by retaining the `ZonedDateTime` with the original time zone instead of converting it to a `java.util.Date`. The following `DateTimeFormatter` instance could then be used to generate a timestamp string identical to the one produced by `Date.toString()` but with the correct time zone:
> 
>      DateTimeFormatter.ofPattern("EEE MMM dd HH:mm:ss zzz yyyy").withLocale(Locale.US);

Thanks for the suggestio; that helps.

-------------

PR: https://git.openjdk.java.net/jdk/pull/7171