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