Integrated: JDK-8302019: Clarify Elements.overrides

[Joe Darcy]

On Thu, 25 Jan 2024 02:37:33 GMT, Joe Darcy <darcy at openjdk.org> wrote:

> Explicitly discuss and test handling of an interface declaring methods that "override" public methods on java.lang.Object.

This pull request has now been integrated.

Changeset: b5995a76
Author:    Joe Darcy <darcy at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/b5995a76f79e0a70e67b0915e782e881efbbdf5e
Stats:     132 lines in 2 files changed: 131 ins; 0 del; 1 mod

8302019: Clarify Elements.overrides

Reviewed-by: prappo, jjg

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

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