Integrated: 8269126: Rename G1AllowPreventiveGC option to G1UsePreventiveGC

[Thomas Schatzl]

On Wed, 23 Jun 2021 08:22:33 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`.
> 
> Since this is a diagnostic flag, no further process is required.
> 
> Testing: tier1-5
> 
> Thanks,
>   Thomas

This pull request has now been integrated.

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

8269126: Rename G1AllowPreventiveGC option to G1UsePreventiveGC

Reviewed-by: iwalulya, kbarrett

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

PR: https://git.openjdk.java.net/jdk/pull/4571