[jdk17] Integrated: 8269126: Rename G1AllowPreventiveGC option to G1UsePreventiveGC

[Thomas Schatzl]

On Thu, 24 Jun 2021 06:31:45 GMT, Thomas Schatzl <tschatzl at openjdk.org> wrote:

> Hi all,
> 
> can I have reviews for this change that as the title suggest only changes the name of the `G1AllowPreventiveGC` option to `G1UsePreventiveGC` to better conform to other G1 options which all use `Use` as prefix (jdk17 version).
> 
> Since this is a diagnostic flag, no further process is required.
> 
> Testing: tier1-5

This pull request has now been integrated.

Changeset: fc0fd96a
Author:    Thomas Schatzl <tschatzl at openjdk.org>
URL:       https://git.openjdk.java.net/jdk17/commit/fc0fd96a5f8faf09264edf4fbc94bf1d8ac7b3a2
Stats:     4 lines in 3 files changed: 0 ins; 0 del; 4 mod

8269126: Rename G1AllowPreventiveGC option to G1UsePreventiveGC

Reviewed-by: kbarrett, iwalulya

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

PR: https://git.openjdk.java.net/jdk17/pull/132