[jdk19] Integrated: 8288524: Allow @systemProperty to appear in overview documentation

Mon Jun 27 19:35:53 UTC 2022

On Tue, 21 Jun 2022 19:23:30 GMT, Pavel Rappo <prappo at openjdk.org> wrote:

> Please review this trivial change. Note that the meat of the change is well-tested by the following existing tests:
> 
> -   test/langtools/jdk/javadoc/doclet/testSystemPropertyPage
> -   test/langtools/jdk/javadoc/doclet/testIndexInDocFiles

This pull request has now been integrated.

Changeset: 17ef8cae
Author:    Pavel Rappo <prappo at openjdk.org>
URL:       https://git.openjdk.org/jdk19/commit/17ef8cae33dd77e5a9b2cf19539ebf25aece5f92
Stats:     4 lines in 2 files changed: 0 ins; 1 del; 3 mod

8288524: Allow @systemProperty to appear in overview documentation

Reviewed-by: jjg

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

PR: https://git.openjdk.org/jdk19/pull/56