web.xml, java: Unfuck encoding issues.