RFR: 8129: Add tool to simplify platform upgrades [v2]

Wed Oct 25 16:57:53 UTC 2023

> Getting the versions needed from the eclipse update site. Can make something more out of this at a later point.

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:

 - Merge branch 'master' into 8129-upgrade-tool
 - Copyright and import cleanup
 - 8129: Add tool to simplify platform upgrades

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

Changes:
  - all: https://git.openjdk.org/jmc/pull/524/files
  - new: https://git.openjdk.org/jmc/pull/524/files/e195b1be..f215f0ef

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

  Stats: 156 lines in 17 files changed: 51 ins; 76 del; 29 mod
  Patch: https://git.openjdk.org/jmc/pull/524.diff
  Fetch: git fetch https://git.openjdk.org/jmc.git pull/524/head:pull/524

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