Teiid-Designer/teiid-designer — pull request #161 by phantomjinx (2013-05-16 16:35:46+00:00)
Title: Remove 'hide translators option'

* As per suggestion on jira, the translators are a permanent feature of a
teiid server so little point in hiding them, especially as the current
hiding mechanism is imperfect in its logic.