[teiid-designer-dev] Build failed in Jenkins: jbosstools-teiid-designer-7.4_stable_branch #640