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

[Erik Joelsson]

On Wed, 7 May 2025 09:18:29 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 one additional commit since the last revision:
> 
>   Add missing \

Marked as reviewed by erikj (Reviewer).

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

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