Portal configuration problem

Hi all,

Quite simple question.

In the vaadin book(http://vaadin.com/book/-/page/advanced.portal.html) the Application name is said to be the name of the servlet.

portlet.xml:

<init-param>
	<name>application</name>
        <!-- Must match the servlet name in web.xml. -->
	<value>AllocationMgmtPortlet</value>
</init-param>

Web.xml:

<servlet>
	<servlet-name>AllocationMgmtPortlet</servlet-name>
	<servlet-class>com.vaadin.terminal.gwt.server.ApplicationServlet</servlet-class>
	<init-param>
		<param-name>application</param-name>
		<param-value>com.....AllocationManagementPortlet</param-value>
	</init-param>
</servlet>

But in the examples the application name is the mappin? Which is thould be?

I have the mapping as following:

<servlet-mapping>
	<servlet-name>AllocationMgmtPortlet</servlet-name>
	<url-pattern>/*</url-pattern>
</servlet-mapping>

What I should set as the portal application? I think that this is the reason why my request are not going as portlet requests.