log4j properties and *.html to *.htm in web.xml