RFR: 7903240: Unable to gather JCov coverage for JCK19 vs JDK19/20 [v2]

[Leonid Kuskov]

> This is the fix for https://bugs.openjdk.org/browse/CODETOOLS-7903240

Leonid Kuskov has updated the pull request incrementally with one additional commit since the last revision:

  7903240: Unable to gather JCov coverage for JCK19 vs JDK19/20

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

Changes:
  - all: https://git.openjdk.org/jcov/pull/20/files
  - new: https://git.openjdk.org/jcov/pull/20/files/78ebca3e..9249a4f4

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

  Stats: 7 lines in 2 files changed: 3 ins; 0 del; 4 mod
  Patch: https://git.openjdk.org/jcov/pull/20.diff
  Fetch: git fetch https://git.openjdk.org/jcov pull/20/head:pull/20

PR: https://git.openjdk.org/jcov/pull/20