[teiid-designer-dev] Jenkins build is back to normal : jbosstools-teiid-komodo #709 ()