fix for JENKINS-22530
Merge pull request #1 from xstex/xstex-properties-fix

fix for JENKINS-22530