RFR: 8366126: Feedback on two errors in JSR 400

[Bradford Wetmore]

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.

LGTM.

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

Marked as reviewed by wetmore (Reviewer).

PR Review: https://git.openjdk.org/jdk/pull/26945#pullrequestreview-3156496180