[code-reflection] Integrated: Added menu bar to heal. To report timing

[Gary Frost]

On Wed, 31 Jul 2024 07:02:25 GMT, Gary Frost <gfrost at openjdk.org> wrote:

> Added timing info to HealingBruch UI and removed stdout clutter .

This pull request has now been integrated.

Changeset: df11b23a
Author:    Gary Frost <gfrost at openjdk.org>
URL:       https://git.openjdk.org/babylon/commit/df11b23ac6aba76655efb0de62325886294e1fa3
Stats:     296 lines in 6 files changed: 282 ins; 2 del; 12 mod

Added menu bar to heal.  To report timing

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

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