[errai-dev] Jenkins build is back to stable : Errai » Errai::UI #725