On Thu, 29 Jun 2023 16:08:15 GMT, Kevin Walls <kev...@openjdk.org> wrote:
> Simple doc tag addition. > > These are files which describe an interface that has been with us since 1.5. > The files themselves were previously generated at build time, but have been > in the repo since jdk15. But the API is since 1.5. > > The other file mentioned in the bug is not a public class and has no javadoc > generated, ignoring that one. Thanks for the reviews! ------------- PR Comment: https://git.openjdk.org/jdk/pull/14714#issuecomment-1614310538
