OO-863: allow umlaut in the title of the page

src/main/java/org/olat/core/commons/fullWebApp/_content/nav.html

@@ -47,7 +47,7 @@
 #if($pageTitle)
 	<script type="text/javascript">
 	/* <![CDATA[ */ 
-		document.title = "$r.translate("page.appname") - $r.escapeDoubleQuotes($r.xssScan($pageTitle))";
+		document.title = "$r.translate("page.appname") - $r.escapeDoubleQuotes($r.filterHtml($pageTitle))";
 	/* ]]> */
 	</script>
 #end

src/main/java/org/olat/core/gui/render/velocity/VelocityRenderDecorator.java

@@ -527,6 +527,14 @@ public class VelocityRenderDecorator implements Closeable{
 		return filter.filter(str);
 	}
 	
+	public String filterHtml(String str) {
+		if(str == null) {
+			return "";
+		}
+		return FilterFactory.getHtmlTagsFilter().filter(str);
+	}
+	
+	
 	/**
 	 * @param key
 	 * @return