Jenkins build is back to normal : JBoss-AS-7.0.x #1937