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