[teiid-designer-dev] Jenkins build is unstable: jbosstools-teiid-designer-branch-testing #31 (master)