[errai-dev] Build failed in Jenkins: Errai » Errai::Reference::Guide #1701