[teiid-designer-dev] Jenkins build is unstable: jbosstools-teiid-designer_trunk #2381 (master)