<div dir="ltr">Hi,<div><br></div><div>The non-public method java.util.jar.Manifest.make72Safe is marked <a class="gmail_plusreply" id="plusReplyChip-1">@Deprecated(since="13").</a></div><div><br></div><div>However, the Javadoc comment has a '@deprecation' tag which presumably should have been `@deprecated`.<br></div><div><br></div><div>I first thought of proposing a PR to fix the invalid tag, but then I noticed that the method is non-public and has no callers in OpenJDK.</div><div><br></div><div>Not sure I understand why this internal method was marked deprecated in the first place and not simply removed? Are we worried about people calling this reflectively?</div><div><br></div><div>What would be the best way to go about this?</div><div><br></div><div>(a) Do nothing</div><div>(b) Just fix the tag @deprecation -> <a class="gmail_plusreply" id="plusReplyChip-4">@deprecated</a></div><div>(c) Fix the tag, add forRemoval=true</div><div>(d) Just delete the method altogether (it's internal after all).<br><a class="gmail_plusreply"><br></a></div><div>Cheers,</div><div>Eirik.</div><div><br></div></div>