highlight.xslthl.config — Location of XSLTHL configuration file
<xsl:param name="highlight.xslthl.config"></xsl:param>
This location has precedence over the corresponding Java property.