[errai-dev] Build failed in Jenkins: Errai » errai-otec #1422