jdk

1ef4e484 - 8273860: Javadoc Deprecated API list should not use italic font for description column