RFR: 7935: Upgrade the trunk to 9 [v2]

[Marcus Hirt]

> This will upgrade the master branch to be JMC 9. Woho!

Marcus Hirt has updated the pull request with a new target base due to a merge or a rebase. The incremental webrev excludes the unrelated changes brought in by the merge/rebase. The pull request contains three additional commits since the last revision:

 - Small fix for changes in master
 - Merge branch 'master' into 7935-update-to-9
 - 7935: Upgrade the trunk to 9

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

Changes:
  - all: https://git.openjdk.org/jmc/pull/443/files
  - new: https://git.openjdk.org/jmc/pull/443/files/7073e695..b0dffec8

Webrevs:
 - full: https://webrevs.openjdk.org/?repo=jmc&pr=443&range=01
 - incr: https://webrevs.openjdk.org/?repo=jmc&pr=443&range=00-01

  Stats: 145 lines in 33 files changed: 43 ins; 37 del; 65 mod
  Patch: https://git.openjdk.org/jmc/pull/443.diff
  Fetch: git fetch https://git.openjdk.org/jmc pull/443/head:pull/443

PR: https://git.openjdk.org/jmc/pull/443