[errai-dev] Build failed in Jenkins: Errai-CDI-no-distribution #43