[tei-council] Fwd: Build failed in Jenkins: TEIP5-Pure-ODD #5