RFR: 8303530: Add system property for custom JAXP configuration file [v5]

[Joe Wang]

> 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:

  change prefix from jdk to java

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

Changes:
  - all: https://git.openjdk.org/jdk/pull/12985/files
  - new: https://git.openjdk.org/jdk/pull/12985/files/b9dff937..aa7db3ae

Webrevs:
 - full: https://webrevs.openjdk.org/?repo=jdk&pr=12985&range=04
 - incr: https://webrevs.openjdk.org/?repo=jdk&pr=12985&range=03-04

  Stats: 2 lines in 2 files changed: 0 ins; 0 del; 2 mod
  Patch: https://git.openjdk.org/jdk/pull/12985.diff
  Fetch: git fetch https://git.openjdk.org/jdk.git pull/12985/head:pull/12985

PR: https://git.openjdk.org/jdk/pull/12985