error for Jenkins to catch

git-svn-id: svn+ssh://svn.code.sf.net/p/tei/code/trunk@13099 e5332ce4-a50f-0410-b94b-d658400b0204