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