git: openjdk/jdk19: 8281445: Document the default value for the override-methods option

[Jonathan Gibbons]

Changeset: 03276a51
Author:    Jonathan Gibbons <jjg at openjdk.org>
Date:      2022-06-10 15:02:59 +0000
URL:       https://git.openjdk.org/jdk19/commit/03276a515301e7772bbff7cce645f73eb695099b

8281445: Document the default value for the override-methods option

Reviewed-by: prappo

! src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/resources/standard.properties