RFR: JDK-8305406: Add @spec tags in java.base/java.* (part 2) [v3]

[Jonathan Gibbons]

On Wed, 5 Apr 2023 16:45:06 GMT, Jonathan Gibbons <jjg at openjdk.org> wrote:

>> Please review a doc update to add `@spec` into the rest of the files in `java.base` (compared to those in [JDK-8305206](https://bugs.openjdk.org/browse/JDK-8305206) PR #13248)
>
> Jonathan Gibbons has updated the pull request incrementally with one additional commit since the last revision:
> 
>   Address review feedback

I checked out references to `nist.gov`.

I found 7 references to 4 documents:


$ grep -r '*.*href=[^ ]*nist.gov' open/src/java.base | grep -o 'nist.gov[^"]*'
nist.gov/nistpubs/FIPS/NIST.FIPS.140-2.pdf
nist.gov/publications/fips/fips186-3/fips_186-3.pdf
nist.gov/nistpubs/SpecialPublications/NIST.SP.800-90Ar1.pdf
nist.gov/nistpubs/SpecialPublications/NIST.SP.800-38F.pdf>
nist.gov/nistpubs/SpecialPublications/NIST.SP.800-38F.pdf>
nist.gov/nistpubs/SpecialPublications/NIST.SP.800-38F.pdf>
nist.gov/nistpubs/SpecialPublications/NIST.SP.800-38F.pdf>


Of these 4, 1 shows a page that says the spec has been superseded, and one is effectively a 404 

Oops, that's not standard?!
Sorry, we cannot find that page.

The page you requested cannot be found at this time.


I would like to defer these issues to be handled separately, and add `@spec` tags for these pages later, once the appropriate specs have been identified.

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

PR Comment: https://git.openjdk.org/jdk/pull/13336#issuecomment-1583280716