Integrated: 8356224: JFR: Default value of @Registered is ignored

[Erik Gahlin]

On Tue, 6 May 2025 10:52:13 GMT, Erik Gahlin <egahlin at openjdk.org> wrote:

> Could I have a review of a change that fixes an issue with the Registered annotation. For details, see bug.
> 
> Testing: tier1 + jdk/jdk/jfr
> 
> Thanks
> Erik

This pull request has now been integrated.

Changeset: 74f047b8
Author:    Erik Gahlin <egahlin at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/74f047b84d949891fb72e2f1c9eca7b0b4bd22c4
Stats:     147 lines in 3 files changed: 107 ins; 6 del; 34 mod

8356224: JFR: Default value of @Registered is ignored

Reviewed-by: mgronlun

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

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