Vaadin 7 Navigator doesn't work in Liferay

According to this liferay ticket:
https://issues.liferay.com/browse/LPS-41304?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel

the Navigator is not working with liferay 6.2 and vaadin 7.1.7.
I tested it with liferay 6.1.2 and vaadin versions 7.1.15, 7.2.0 and 7.2.3. Unfortunately, i get the same result.
What one sees is a blank page. Except when using no theme, which is pretty ugly.
I have attached a simple UI which uses a navigator and two dummy views.

Is there a solution for that or at least a workaround?
Cheers, David

15413.java (2.09 KB)

For anybody who is interested. I have attached a version that is working. It is based on the Tori UI.
Btw, at the time of writing this, the vaadin book (https://vaadin.com/book/vaadin7/-/page/advanced.navigator.html) states "
We manage the navigation with the UI class itself, which is a SingleComponentContainer
". That does not work in liferay.
15520.java (2.41 KB)