[teiid-designer-dev] [Teiid-Designer/teiid-designer] 6e3db9: TEIIDDES-1727: Remove 'show translators' option