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

[Kim Barrett]

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

Looks good.

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

Marked as reviewed by kbarrett (Reviewer).

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