[errai-dev] Jenkins build became unstable: Errai #1380