Integrated: 8298521: Rename members in G1MonitoringSupport

[Yude Lin]

On Sat, 10 Dec 2022 09:50:12 GMT, Yude Lin <duke at openjdk.org> wrote:

> Hi,
> 
> Can I have review on this trivial change that renames a few members in G1MonitoringSupport for consistency?
> 
> Thanks!

This pull request has now been integrated.

Changeset: dbcfe7bc
Author:    Yude Lin <yude.lyd at alibaba-inc.com>
Committer: Thomas Schatzl <tschatzl at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/dbcfe7bc335846cd154dd78822fb64b7970ff9d2
Stats:     14 lines in 2 files changed: 0 ins; 0 del; 14 mod

8298521: Rename members in G1MonitoringSupport

Reviewed-by: ayang, tschatzl

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

PR: https://git.openjdk.org/jdk/pull/11623