Avoid duplicate definition when customizing tomcat