[jbosstools-builds] Jenkins build is back to normal : jbosstools-base-jdk12_master #10