a tomcat_dir