[jdk16] RFR: JDK-8258002: Update "type" terminology in generated docs [v2]

[Jonathan Gibbons]

> This is the bulk of the work to update javadoc to use certain terminology dependent on the source version in use. There will be a minor update when JDK-8247994 has been pushed. That will allow us to modify strings displayed by JavaScript Search.
> 
> The groups of terms being changed are:
> 
> * `Types` to `Classes and Interfaces`
> * `Annotation Type` to `Annotation Interface`
> * `Enum` to `Enum Class`
> 
> The new terminology will be used when the source version of the elements being documented is 16 or higher. This is the default behavior. The corollary is that the old terminology will be used when the `--source` or `--release` option is used to specify a version less than `16`.
> 
> In addition, the terminology for `Record` is being unconditionally changed to use `Record Class`. Since the feature was in preview before this release, there is no need to be able to generate the previous form.
> 
> Also, in the course of this work, it was noted that on the "Use" page for an annotation type/interface, it was incorrectly classified as a *class*, instead of *annotation interface*: that has been fixed.
> 
> Fundamentally, the change is managed at a very low level, by passing a _mapping function_ into `Resource.getText`. This allows high level code, `HtmlDoclet` in this case, to provide version-specific overrides of the resource key to be used. The avoids having to have version-specific checks at the point of use for each affected resource.

Jonathan Gibbons has updated the pull request with a new target base due to a merge or a rebase. The pull request now contains seven commits:

 - Fix failures
 - Merge with upstream/master
 - remove adaptive terminology for records
 - add test
 - Remove obsolete properties and code
 - Version 2: release-specific terminology
 - JDK-8258002: Update "type" terminology in generated docs

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

Changes: https://git.openjdk.java.net/jdk16/pull/20/files
 Webrev: https://webrevs.openjdk.java.net/?repo=jdk16&pr=20&range=01
  Stats: 564 lines in 45 files changed: 323 ins; 45 del; 196 mod
  Patch: https://git.openjdk.java.net/jdk16/pull/20.diff
  Fetch: git fetch https://git.openjdk.java.net/jdk16 pull/20/head:pull/20

PR: https://git.openjdk.java.net/jdk16/pull/20