Default cover path for tomcat