openjdk[bot]

@magicus The total number of required reviews for this PR (including the jcheck configuration and the last /reviewers command) is now set to 3 (with at least 1 [Reviewer](https://openjdk.org/bylaws#reviewer), 2...

@jaskarth The `build` label was successfully removed.

@jaskarth this pull request can not be integrated into `master` due to one or more merge conflicts. To resolve these merge conflicts and update this pull request you can run...

@jddarcy This change now passes all *automated* pre-integration checks. ℹ️ This project also has non-automated pre-integration requirements. Please see the file [CONTRIBUTING.md](https://github.com/openjdk/jdk/blob/master/CONTRIBUTING.md) for details. After integration, the commit message for...

@jddarcy The following label will be automatically applied to this pull request: - `core-libs` When this pull request is ready to be reviewed, an "RFR" email will be sent to...

@jddarcy Contributor `Raffaello Giulietti ` successfully added.

@jddarcy Contributor `Jatin Bhateja ` successfully added.

Going to push as commit dbf23466aff902836838f06bcbbf3c9e7c5e9c6a. Since your change was applied there have been 40 commits pushed to the `master` branch: * a5f11b5f775be6c1d9593562ba65912261efdf52: 8343483: Remove unnecessary @SuppressWarnings annotations (serviceability) *...

@jddarcy Pushed as commit dbf23466aff902836838f06bcbbf3c9e7c5e9c6a. :bulb: You may see a message that your pull request was closed with unmerged commits. This can be safely ignored.