[tei-council] Jenkins build became unstable: TEIP5-Test-release-3.3.0 #27