[errai-dev] Jenkins build is unstable: Errai » Errai::UI #1298