RFR: 8306436: Rename PSS*:_n_workers to PSS*:_num_workers

[Thomas Schatzl]

On Wed, 19 Apr 2023 10:45:13 GMT, Thomas Schatzl <tschatzl at openjdk.org> wrote:

> Hi all,
> 
>   please review this rename of the `_n_workers` member to `_num_workers` since the latter uses the more common prefix for amounts of things.
> 
> Testing: gha
> 
> Thanks,
>   Thomas

Thanks for your reviews

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

PR Comment: https://git.openjdk.org/jdk/pull/13531#issuecomment-1517887129