Integrated: 8311180: Remove unused unneeded definitions from globalDefinitions

Wed Jul 5 12:41:09 UTC 2023

On Fri, 30 Jun 2023 14:57:04 GMT, Coleen Phillimore <coleenp at openjdk.org> wrote:

> I noticed this cleanup in a patch that Axel shared with me that I thought should be pushed on its own as trivial.
> Tested with tier1 on Oracle supported platforms and looked for these on the others.

This pull request has now been integrated.

Changeset: 22e17c29
Author:    Coleen Phillimore <coleenp at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/22e17c29a2a4eb546fae4c01ae435283654e3bb3
Stats:     23 lines in 5 files changed: 0 ins; 17 del; 6 mod

8311180: Remove unused unneeded definitions from globalDefinitions

Co-authored-by: Axel Boldt-Christmas <aboldtch at openjdk.org>
Reviewed-by: dholmes, aboldtch

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

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