RFR: 8303530: Redefine JAXP Configuration File [v15]

[Stuart Marks]

On Wed, 31 May 2023 21:58:44 GMT, Joe Wang <joehw at openjdk.org> wrote:

>> Add a system property, jdk.xml.config.file, to return the path to a custom JAXP configuration file. The current configuration file, jaxp.properties, that the JDK supports will become the default configuration file.
>> 
>> CSR: https://bugs.openjdk.org/browse/JDK-8303531
>> 
>> Tests: XML SQE and JCK tests passed.
>
> Joe Wang has updated the pull request incrementally with one additional commit since the last revision:
> 
>   adjust javadoc

src/java.xml/share/classes/jdk/xml/internal/JdkConstants.java line 291:

> 289:      */
> 290:     public static final String CONFIG_FILE = "java.xml.config.file";
> 291: 

This isn't the name of the config file but instead is the name of the _property_ that points to the config file. At some point maybe this could be renamed, maybe to CONFIG_FILE_PROPNAME or something.

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

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