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. Marked as reviewed by hchao (Reviewer). ------------- PR Review: https://git.openjdk.org/jdk/pull/26945#pullrequestreview-3156479051