[teiid-designer-dev] Jenkins build is back to normal : jbosstools-teiid-designer_9.0.x #1267 (9.0.x)