[teiid-designer-dev] Build failed in Jenkins: jbosstools-teiid-designer_9.0.x #531 (9.0.x)