RFR: 8344041: Re-enable external specs page

[Nizar Benalla]

On Tue, 19 Nov 2024 15:45:18 GMT, Hannes Wallnöfer <hannesw at openjdk.org> wrote:

> Please review a change to enable the External Specifications page in API docs. The page was disabled because of missing `@spec` tags in OpenJDK sources. This is a straightforward undo of of #13127 / [JDK-8304689], which means the hidden ad-hoc `--no-external-specs-page` option is also removed.
> 
> [JDK-8304689]: https://bugs.openjdk.org/browse/JDK-8304689
> 
> [This is what the External Specifications page looks like.](https://cr.openjdk.org/~hannesw/8344041/api.00/external-specs.html)

test/langtools/jdk/javadoc/doclet/testSpecTag/TestSpecTag.java line 26:

> 24: /*
> 25:  * @test
> 26:  * @bug 6251738 8226279 8297802 8305407

Nice catch! It seems this bug id was added by mistake, it does not match the id of the JBS issue where it was added.

-------------

PR Review Comment: https://git.openjdk.org/jdk/pull/22240#discussion_r1860773375