Tools that parse html documents produced by the javadoc tool have some expectations regarding the format of the document. The format changes over the time and it would be useful to have a reliable source of information regarding the "format version" inlined into the document.

Currently the tool inserts the following comment into the html head:

  <!-- Generated by javadoc ({java.version}) on {date} -->

However, {java.version} comes from the underlying java and can be desynchronized with the current html document format.