[Jredmine-commits] Jenkins build is back to normal : jredmine #7