[jbosstools-builds] Build failed in Jenkins: jbosstools-server-jdk12_master #16