RFR: 8361961: Typo in ProtectionDomain.implies

[Sean Mullan]

On Sun, 13 Jul 2025 23:55:02 GMT, Shawn Emery <duke at openjdk.org> wrote:

> Missing Javadoc meta character for ProtectionDomain.implies.  Fix adds missing meta character.
> 
> No regression tests related to change, but did validate that Javadoc does now render the code element.

Marked as reviewed by mullan (Reviewer).

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

PR Review: https://git.openjdk.org/jdk/pull/26281#pullrequestreview-3029396151