fixed encoding of web.xml files