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

[Albert Mingkun Yang]

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

Marked as reviewed by ayang (Reviewer).

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

PR Review: https://git.openjdk.org/jdk/pull/13531#pullrequestreview-1391802281