Hi all, has someone tried the seam booking portlet?

I can't run it.
The server (Jboss AS + Portal 2.6 bundled) throws this exception:

org.jboss.portal.portlet.container.PortletInitializationException: Portlet class not found org.apache.myfaces.portlet.MyFacesGenericPortlet

I've tried adding the MyFaces jars, with no success.
Why do we need to specify MyFacesGenericPortlet? JBoss 4.2.0 GA is using java.net JSF, isn't it?

I have simply run 'ant deploy'.

Thanks in advance.