RFR: 8303530: Redefine JAXP Configuration File [v14]

[Joe Wang]

On Wed, 31 May 2023 21:19:42 GMT, Lance Andersen <lancea at 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