How to set a own favicon if the theme was set by UI.setTheme(...)

I have this reported now as a bug: http://dev.vaadin.com/ticket/15481