On Mon, 9 Sep 2024 18:37:47 GMT, Joe Darcy <darcy at openjdk.org> wrote: > Use index and definition tags in AnnotatedElement. Marked as reviewed by prappo (Reviewer). ------------- PR Review: https://git.openjdk.org/jdk/pull/20919#pullrequestreview-2293347006