Please review a medium-small patch to add some new metadata into each
HTML document that is generated by javadoc.
The metadata provides the following:
* a short stylized description of the contents of the file, for
potential use by other tools to filter the set of generated files
* an indication of the part of javadoc that generated the file, to
help group the different kinds of pages generated by javadoc
A new test program is added. It's a bit of overkill, but it is designed
to be future-proof, meaning if we add new types of pages, this test will
(intentionally) fail until it is updated to know about those new pages.
I also note that the test was instrumental in helping to discover two
unrelated bugs in javadoc. These are linked in the "related links" in
the JBS issue.
-- Jon
JBS: https://bugs.openjdk.java.net/browse/JDK-8218998
Webrev: http://cr.openjdk.java.net/~jjg/8218998/webrev.00/
