Teiid-Designer/teiid-designer — pull request #121 by tejones (2013-04-03 14:27:02+00:00)
Title: TEIIDDES-1639

Corrected JNDI name format