[code-reflection] Integrated: [hat] Cleanup F16 name impl

[Juan Fumero]

On Mon, 1 Dec 2025 11:58:43 GMT, Juan Fumero <jfumero at openjdk.org> wrote:

> Cleanup F16 name impl

This pull request has now been integrated.

Changeset: 8f3399d3
Author:    Juan Fumero <jfumero at openjdk.org>
URL:       https://git.openjdk.org/babylon/commit/8f3399d3959e15a6326dd7773138b848d4ac6153
Stats:     4 lines in 2 files changed: 0 ins; 3 del; 1 mod

[hat] Cleanup F16 name impl

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

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