[tei-council] Build failed in Jenkins: TEIP5-release-3.0.0 #2