RFR: 8360554: Use the title from the JSON RFC for the @spec tag

[Naoto Sato]

On Wed, 25 Jun 2025 17:49:42 GMT, Naoto Sato <naoto at openjdk.org> wrote:

> A minor doc fix. Avoiding @spec reference clash in the doc build

Thanks for the reviews!

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

PR Comment: https://git.openjdk.org/jdk/pull/25985#issuecomment-3009080948