[errai-dev] Jenkins build is still unstable: Errai » errai-otec #1028