RFR: 7935: Upgrade the trunk to 9

[Marcus Hirt]

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

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

Commit messages:
 - 7935: Upgrade the trunk to 9

Changes: https://git.openjdk.org/jmc/pull/443/files
 Webrev: https://webrevs.openjdk.org/?repo=jmc&pr=443&range=00
  Issue: https://bugs.openjdk.org/browse/JMC-7935
  Stats: 211 lines in 149 files changed: 0 ins; 0 del; 211 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