Edit setDomainEnv.sh

Even if you already edited setDomainEnv.sh for a previous release, additional changes are required for Release 2.5. Follow instructions in Edit setDomainEnv.sh.