On Wed, 31 Aug 2022 18:11:09 GMT, Jonathan Gibbons <jjg at openjdk.org> wrote: > Please review a trivial update to remove some obsolete properties from a javadoc resource file. Marked as reviewed by prappo (Reviewer). ------------- PR: https://git.openjdk.org/jdk/pull/10105