RFR: 7903889: jcstress: document used properites (and env variables) [v6]

[Jiří Vaněk]

On Mon, 23 Jun 2025 08:49:27 GMT, Jiří Vaněk <jvanek at openjdk.org> wrote:

>> The purpose of this PR is to move properties and properties based initializations to single place, and to document them, and to enable printing the listing with the documentation via help.
>> 
>> No Env. vars were found.
>> 
>> The verbose help can be removed, the individual properties with defaults are wrapped to its class. The OptionSpec and OptionFormatter can be used if needed
>
> Jiří Vaněk 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 four additional commits since the last revision:
> 
>  - Moved declaration of individual proeprties to ceparate classes by family
>  - Extracted properties encapsualted in objects
>  - Removed autoformatted whitespaces
>  - 7903889: jcstress: document used properites (and env variables)
>    
>    Known properties unifed in one class and printed in verbose help:
>    The verbose help can be removed, the individual properties with defaults
>    can be wrapped to its class. Even the OptionSpec and OptionFormatter can
>    be used if needed

faith restored

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

PR Comment: https://git.openjdk.org/jcstress/pull/156#issuecomment-3078952773