On Mon, 17 Apr 2023 14:56:13 GMT, Roger Riggs <rri...@openjdk.org> wrote:
> The @implNote is more appropriate for an internal comment. It is not needed > to be in the published javadoc; its only useful to someone viewing the source > code. Is it a comment to me or to the author? If it's the former, then I note, that if one bothers to mark up a comment, that markup should be valid. ------------- PR Review Comment: https://git.openjdk.org/jdk/pull/13491#discussion_r1168866435
