On Wed, 31 May 2023 21:19:42 GMT, Lance Andersen <lan...@openjdk.org> wrote:
>> Joe Wang has updated the pull request incrementally with one additional
>> commit since the last revision:
>>
>> additional javadoc update
>
> src/java.xml/share/classes/module-info.java line 153:
>
>> 151: * <h4 id="Conf_CF_SP">User-defined Configuration File</h4>
>> 152: * In addition to the {@code jaxp.properties} file, the system property
>> 153: * {@systemProperty java.xml.config.file} can be set on the command
>> line or at run-time
>
> I think we can simplify to "...the system property {@systemProperty
> java.xml.config.file} can be set to specify..."
Thanks Lance. Adjusted the javadoc accordingly.
-------------
PR Review Comment: https://git.openjdk.org/jdk/pull/12985#discussion_r1212355544
