RFR: JDK-8305593: Add @spec tags in java.desktop

Tue Apr 11 20:04:32 UTC 2023

On Wed, 5 Apr 2023 17:29:17 GMT, Jonathan Gibbons <jjg at openjdk.org> wrote:

> Please review a docs-only change to add `@spec` tags into `java.desktop` public API files

On the use of `rfc-editor.org`, this site came up during the original all-in-one version of this work in PR #11073.
See, for example, these messages:

* https://github.com/openjdk/jdk/pull/11073#issuecomment-1310899778
* https://github.com/openjdk/jdk/pull/11073#issuecomment-1331588069

So, despite being a non-obvious host name, it seems like this is the preferred long-term place to references to RFCs.

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

PR Comment: https://git.openjdk.org/jdk/pull/13360#issuecomment-1504018769