[tei-council] Build failed in Jenkins: TEIP5-Test-release-3.1.0 #16