[errai-dev] Jenkins build is back to normal : Errai » Errai::Reference::Guide #1691