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

[Hannes Wallnoefer]

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/
>