Bug#769526: xlshlt: xslhlt should use configuration file provided by package by default

[Eugene Zhukov]

Hi and thank you for your bug report! I examined the patch and have a
question about it.
What is the purpose of "} else if (new
File("xslthl-config.xml").isFile()) {"? As far as I understand it will
always be true. What did I miss?

I would only change
configFilename = "xslthl-config.xml";
to
configFilename = "/usr/share/xslthl/highlighters/xslthl-config.xml";