[Jredmine-build] Jenkins build is back to normal : jredmine-doc #2