RFR: 8282493: Add --with-jcov-modules convenience option [v3]

[Erik Joelsson]

On Tue, 6 May 2025 15:06:36 GMT, Magnus Ihse Bursie <ihse at openjdk.org> wrote:

>> Allow the user to set "--with-jcov-modules=java.desktop", instead of "--with-jcov-filters=--include-modules java.desktop", since this is one of the common use cases for the filtering.
>
> Magnus Ihse Bursie has updated the pull request incrementally with two additional commits since the last revision:
> 
>  - Update copyright year
>  - Update testing documentation

Marked as reviewed by erikj (Reviewer).

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

PR Review: https://git.openjdk.org/jdk/pull/24481#pullrequestreview-2819026923