[tei-council] Build failed in Jenkins: Stylesheets-dev #2261