Migrating to a common setenv.sh for Tomcat