On Mon, 19 Aug 2024 21:38:06 GMT, Kevin Driver <kdri...@openjdk.org> wrote:
>> Numerous comments elsewhere in the code illustrate what's happening. Is your >> concern for readers of the javadoc? This is probably a valid suggestion. > > Addressed in > https://github.com/openjdk/jdk/pull/20301/commits/48395b86ba8e1cda663ae326e06ae2556f4b905a. > Please indicate if this is resolved. Yes, resolved. ------------- PR Review Comment: https://git.openjdk.org/jdk/pull/20301#discussion_r1724072839
