On Thu, 8 Jun 2023 11:27:37 GMT, Pavel Rappo <pra...@openjdk.org> wrote:
> If we were to (re-)structure doc comments in the way you propose, I'd suggest > we do it in a separate, non-jdk.javadoc PR. I was simply trying to keep JDK > API documentation unchanged. Understood, it was just a passing comment that TreeMap::entrySet overrides the description so it's specifying what it returns and using inherited text for the @return description. ------------- PR Review Comment: https://git.openjdk.org/jdk/pull/14357#discussion_r1223053378
