tomcat setenv.sh