RFR: 8373285: Update JCov for class file version 71

[Alexandre Iline]

8373285: Update JCov for class file version 71

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

Commit messages:
 - 8373285: Update JCov for class file version 71

Changes: https://git.openjdk.org/jdk/pull/28707/files
  Webrev: https://webrevs.openjdk.org/?repo=jdk&pr=28707&range=00
  Issue: https://bugs.openjdk.org/browse/JDK-8373285
  Stats: 2 lines in 1 file changed: 0 ins; 0 del; 2 mod
  Patch: https://git.openjdk.org/jdk/pull/28707.diff
  Fetch: git fetch https://git.openjdk.org/jdk.git pull/28707/head:pull/28707

PR: https://git.openjdk.org/jdk/pull/28707