A minor doc fix. Avoiding @spec reference clash in the doc build -------------
Commit messages: - initial commit Changes: https://git.openjdk.org/jdk/pull/25985/files Webrev: https://webrevs.openjdk.org/?repo=jdk&pr=25985&range=00 Issue: https://bugs.openjdk.org/browse/JDK-8360554 Stats: 2 lines in 1 file changed: 1 ins; 0 del; 1 mod Patch: https://git.openjdk.org/jdk/pull/25985.diff Fetch: git fetch https://git.openjdk.org/jdk.git pull/25985/head:pull/25985 PR: https://git.openjdk.org/jdk/pull/25985
