[teiid-designer-dev] Jenkins build is back to stable : jbosstools-teiid-designer_trunk #3992 (master)