RFR: JDK-8243113 : Always identify version of javadoc used to generate docs

[Pavel Rappo]

That updated webrev looks good.

> On 17 Jun 2020, at 15:37, Jonathan Gibbons <jonathan.gibbons at oracle.com> wrote:
> 
> I have posted the correct webrev posted for this bug and URL.
> 
> -- Jon
> 
> On 6/17/20 6:18 AM, Hannes Wallnoefer wrote:
>> Hi Jon,
>> 
>> The URL for the webrev looks correct, but it contains the patch for 8245696 (invalid file names in doc-files).
>> 
>> Believe me, I hate juggling bug ids just like you :)
>> 
>> Hannes
>> 
>>> Am 17.06.2020 um 00:33 schrieb Jonathan Gibbons <jonathan.gibbons at oracle.com>:
>>> 
>>> Please review a small patch to modify the "Generated by javadoc" string that is
>>> added to each HTML file generated by the standard doclet.
>>> 
>>> The change is to always include the version number, so that it is always available
>>> for tools analyzing the generated docs.
>>> 
>>> The timestamp remains optional, controlled by the `-notimestamp` command-line
>>> option.
>>> 
>>> -- Jon
>>> 
>>> JBS: https://bugs.openjdk.java.net/browse/JDK-8243113
>>> Webrev: http://cr.openjdk.java.net/~jjg/8243113/webrev.00/
>>>