Integrated: 8366126: Feedback on two errors in JSR 400

[Weijun Wang]

On Tue, 26 Aug 2025 16:23:15 GMT, Weijun Wang <weijun at openjdk.org> wrote:

> Remove redundant `@spec` tags.
> 
> Note: the RMI spec fixed mentioned in the same bug will be fixed in the doc repo.

This pull request has now been integrated.

Changeset: 6a480ad0
Author:    Weijun Wang <weijun at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/6a480ad07a64dc291c5e46e024febedc857f5e1a
Stats:     3 lines in 3 files changed: 0 ins; 3 del; 0 mod

8366126: Feedback on two errors in JSR 400

Reviewed-by: hchao, wetmore

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

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