Integrated: 8339789: Use index and definition tags in AnnotatedElement

[Joe Darcy]

On Mon, 9 Sep 2024 18:37:47 GMT, Joe Darcy <darcy at openjdk.org> wrote:

> Use index and definition tags in AnnotatedElement.

This pull request has now been integrated.

Changeset: 6fd043f1
Author:    Joe Darcy <darcy at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/6fd043f1e4423b61cb5b85af9380f75e6a3846a2
Stats:     7 lines in 1 file changed: 0 ins; 0 del; 7 mod

8339789: Use index and definition tags in AnnotatedElement

Reviewed-by: jjg, prappo

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

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