Teiid is installed only in ha and full ha profiles of domain.xml so default profile should not be modified.
This fix was committed as part of TEIID-3524.