url: http://www.jboss.org/teiiddesigner/downloads#Installation the link in Step 2: actually points to the 7.4 bits.. I'm guessing this will want to be updated to point to 7.5.
Thanks,
JLee
fixed. thx. Any other "bugs" should be logged under TEIIDDES jiras. https://issues.jboss.org/browse/TEIIDDES