Re: [Pharo-dev] Pharo5 Jenkins build crash