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