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

Thu Jun 8 19:03:53 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

This pull request has now been integrated.

Changeset: 34f0a6ec
Author:    Jonathan Gibbons <jjg at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/34f0a6ec6a7d52630e8d6661f9d081abcf57b84a
Stats:     55 lines in 17 files changed: 36 ins; 2 del; 17 mod

8305593: Add @spec tags in java.desktop

Reviewed-by: prr

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

PR: https://git.openjdk.org/jdk/pull/13360