[teiid-designer-dev] Changes to teiid designer jenkins build...