Vaadin integration in Liferay 5.2 on JBoss

Did someone integrate Vaadin in Liferay 5.2 on a JBoss?
The integration example with the Tomcat helps unfortunately not much.