Small build fix for tomcat deploy