[errai-dev] Jenkins build is still unstable: Errai » Errai::CDI::Server #2020