RFR: 8314448: Coordinate DocLint and JavaDoc to report on unknown tags

Please review this bug fix for reporting on unknown javadoc tags. Aside from a somewhat irrelevant test for DocLint[^1], there are no direct tests for reporting on unknown javadoc tags. That reporting, as it turns out, is ridden with bugs. This PR fixes quite a few of those bugs and adds missing

Re: RFR: 8314448: Coordinate DocLint and JavaDoc to report on unknown tags

On Fri, 18 Aug 2023 11:30:27 GMT, Pavel Rappo wrote: > Please review this bug fix for reporting on unknown javadoc tags. > > Aside from a somewhat irrelevant test for DocLint[^1], there are no direct > tests for reporting on unknown javadoc tags. That reporting, as it turns out, > is ridden wi

Re: RFR: 8314448: Coordinate DocLint and JavaDoc to report on unknown tags

On Fri, 18 Aug 2023 11:30:27 GMT, Pavel Rappo wrote: > Please review this bug fix for reporting on unknown javadoc tags. > > Aside from a somewhat irrelevant test for DocLint[^1], there are no direct > tests for reporting on unknown javadoc tags. That reporting, as it turns out, > is ridden wi

Integrated: 8314448: Coordinate DocLint and JavaDoc to report on unknown tags

On Fri, 18 Aug 2023 11:30:27 GMT, Pavel Rappo wrote: > Please review this bug fix for reporting on unknown javadoc tags. > > Aside from a somewhat irrelevant test for DocLint[^1], there are no direct > tests for reporting on unknown javadoc tags. That reporting, as it turns out, > is ridden wi