[code-reflection] Integrated: Rename @CodeReflection to @Reflect

[Maurizio Cimadamore]

On Fri, 21 Nov 2025 13:42:35 GMT, Maurizio Cimadamore <mcimadamore at openjdk.org> wrote:

> This PR changes `@CodeReflection` into `@Reflect`.
> 
> There are lots of changes, but all of them are shallow.

This pull request has now been integrated.

Changeset: d30e7e19
Author:    Maurizio Cimadamore <mcimadamore at openjdk.org>
URL:       https://git.openjdk.org/babylon/commit/d30e7e19a3c1dc2b60048ff52600b69a81eb9173
Stats:     1572 lines in 224 files changed: 15 ins; 12 del; 1545 mod

Rename @CodeReflection to @Reflect

Reviewed-by: psandoz

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

PR: https://git.openjdk.org/babylon/pull/693