[tei-council] Build failed in Jenkins: oxygen-tei-bleeding #165