+ // Inject the dynamically provided favicon
+ if(FAVICON_URL != null) {
+ final Document document = Document.get();
+ final Element head = document.getElementsByTagName("head").getItem(0);
+ final LinkElement link = document.createLinkElement();
+ link.setRel("icon");
+ link.setHref(FAVICON_URL);
+ head.appendChild(link);
+ }
+