config: bump saxon version to 9.8.0-7, add sleep 5s to travis to let travis not fail build
diff --git a/.ci/travis/travis.sh b/.ci/travis/travis.sh
index 0765c97..b0b7207 100755
--- a/.ci/travis/travis.sh
+++ b/.ci/travis/travis.sh
@@ -222,6 +222,7 @@
mvn clean compile cobertura:cobertura cobertura:check -DargLine='-Xms1024m -Xmx2048m' &> mvn-log.log
echo "Printing mvn-log.log file:"
cat mvn-log.log
+ sleep 5s
set -e
echo "Grep for hidden errors (due to quiet=true mode in pom.xml):"
grep -R "<td class=\"nbHitsUncovered\"" target/site/cobertura/* --exclude=*grammars* | cat > mvn-log-grep.log
diff --git a/pom.xml b/pom.xml
index 6be363d..185aa59 100644
--- a/pom.xml
+++ b/pom.xml
@@ -218,7 +218,7 @@
<maven.pmd.plugin.version>3.8</maven.pmd.plugin.version>
<pmd.version>5.8.1</pmd.version>
<maven.jacoco.plugin.version>0.7.9</maven.jacoco.plugin.version>
- <saxon.version>9.8.0-6</saxon.version>
+ <saxon.version>9.8.0-7</saxon.version>
<maven.checkstyle.plugin.version>2.17</maven.checkstyle.plugin.version>
<maven.sevntu.checkstyle.plugin.version>1.25.0</maven.sevntu.checkstyle.plugin.version>
<maven.sevntu-checkstyle-check.checkstyle.version>8.5</maven.sevntu-checkstyle-check.checkstyle.version>
