RFR: 8303530: Redefine JAXP Configuration File [v11]

[Joe Wang]

On Fri, 5 May 2023 08:16:14 GMT, Alan Bateman <alanb at openjdk.org> wrote:

>> Joe Wang has updated the pull request incrementally with one additional commit since the last revision:
>> 
>>   address review comments
>
> src/java.xml/share/conf/jaxp.properties line 2:
> 
>> 1: ################################################################################
>> 2: #           XML Library (java.xml) Configuration File
> 
> The file is jaxp.properties and the module is Java APIs for XML Processing. The use of "XML Library (java.xml)" is confusing here, I'm concerned that it will be inconsistent with all the existing docs.

"JAXP Configuration File" is now used throughout the spec.

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

PR Review Comment: https://git.openjdk.org/jdk/pull/12985#discussion_r1206023820