On Wed, 16 Oct 2024 10:48:41 GMT, Michael McMahon <micha...@openjdk.org> wrote:
>> Would it be better as an implNote then? I guess it's possible that other >> implementations of the API might not behave this way. > > I have changed it to an implNote, referring to the JDK built-in > implementation, as elsewhere. New text LGTM. ------------- PR Review Comment: https://git.openjdk.org/jdk/pull/21408#discussion_r1804661543