Integrated: 8214561: Use {@systemProperty} for definition of "java.util.prefs.PreferencesFactory" system property

[Brent Christian]

On Fri, 30 Oct 2020 19:47:14 GMT, Brent Christian <bchristi at openjdk.org> wrote:

> Using the {@systemProperty} tag for the "java.util.prefs.PreferencesFactory" system property will allow it to be found in the main javadoc search index.
> 
> The updated doc build looks good.

This pull request has now been integrated.

Changeset: 0f486033
Author:    Brent Christian <bchristi at openjdk.org>
URL:       https://git.openjdk.java.net/jdk/commit/0f486033
Stats:     2 lines in 1 file changed: 0 ins; 0 del; 2 mod

8214561: Use {@systemProperty} for definition of "java.util.prefs.PreferencesFactory" system property

Reviewed-by: lancea

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

PR: https://git.openjdk.java.net/jdk/pull/965