RFR: Merge jdk16

Thu Dec 24 07:28:59 UTC 2020

Forwardport JDK 16 -> JDK 17

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

Commit messages:
 - Merge
 - 8258916: javac/doclint reports broken HTML on multiline mailto links
 - 8253954: javac crash when compiling code with enhanced switch expressions with option -Xjcov
 - 8257468: runtime/whitebox/TestWBDeflateIdleMonitors.java fails with Monitor should be deflated.: expected true to equal false
 - 8257521: runtime/logging/MonitorInflationTest.java crashed in MonitorList::unlink_deflated

The merge commit only contains trivial merges, so no merge-specific webrevs have been generated.

Changes: https://git.openjdk.java.net/jdk/pull/1887/files
  Stats: 74 lines in 6 files changed: 68 ins; 0 del; 6 mod
  Patch: https://git.openjdk.java.net/jdk/pull/1887.diff
  Fetch: git fetch https://git.openjdk.java.net/jdk pull/1887/head:pull/1887

PR: https://git.openjdk.java.net/jdk/pull/1887