дизайнер jbpm на tomcat

Я скачал jbpm Designer War для Tomcat по следующей ссылке: http://sourceforge.net/projects/jbpm/files/designer/designer-2.4/jbpm-designer-2.4.0.Final-jboss.war/download

Я переименовал WAR в Designer, импортировал его в eclipse и развернул на tomcat 6.

Открытие:

http://localhost:8080/designer/editor.html?profile=jbpm 

приводит к веб-странице с заголовком @title@ и показывает содержимое: @defaultSkin@ @overlaySkin@

Очевидно, что какой-то сервлет не творит чудес...

В web.xml я вижу следующее объявление сервлета:

 <servlet>
  <display-name>Default Servlet for Directory Listings</display-name>
  <servlet-name>DirectoryListingServlet</servlet-name>
  <!-- <servlet-class>org.eclipse.jetty.servlet.DefaultServlet</servlet-class> For Tomcat -->
  <servlet-class>org.apache.catalina.servlets.DefaultServlet</servlet-class>
  <init-param>
   <param-name>debug</param-name>
   <param-value>0</param-value>
  </init-param>
  <init-param>
   <!-- <param-name>dirAllowed</param-name> for Tomcat -->
   <param-name>listings</param-name>
   <param-value>true</param-value>
  </init-param>
  <load-on-startup>1</load-on-startup>
 </servlet>

И хотя мне кажется, что я должен заменить класс сервлета на класс в комментарии, помеченный для tomcat, это просто приводит к ClassNotFoundException (я пытался добавить несколько причалов в соответствии с полученными исключениями, но я не знал, какие версии использовать, и, очевидно, я получил некоторые классы, не соответствующие ожидаемым интерфейсам). Во всяком случае, приведенный выше сервлет сопоставлен с шаблоном URL-адреса "/generated-uis/", и на самом деле я не вижу ни одного сервлета, сопоставленного с URL-адресом, который я предоставляю - "/editor.html?profile=jbpm".

Что мне здесь не хватает?

Спасибо,

Лиор