[Jredmine-build] Jenkins build is still unstable: jredmine-ci #142-origin/develop