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