[errai-dev] Jenkins build became unstable: Errai » Errai::CDI::Server #1766