http://www.jboss.org/teiiddesigner/downloads

1. Change "Helios 3.7" to "Indigo 3.7".

2. Consider changing "3.7" to "3.7.2" since that's the last version of Indigo and the version on the target platform against which Teiid (and JBDS 5) is built.

3. Consider changing "Helios 3.6, 3.6.1" to "Helios 3.6.2" since that's the last version of Helios and the version on the target platform against which Teiid (and JBDS 4) is built.

(If I had access to change this, I would have simply done so for you.)