teiid/teiid — pull request #357 by vhalbert (2014-11-11 17:02:31+00:00)
Title: TEIID-3204 pushing changes upstream from 8.7.  

TEIID-3204 pushing changes upstream from 8.7. One small change was required to DSLSearch to work using Infin. 6.0, instead of Infin. 6.1