Hola NeoKaisser, cart.do es un mapeado a un servlet precisamente, le podrían haber llamado cart.loquesea si hubieran querido:
Código:
<servlet>
<servlet-name>Cart</servlet-name>
<servlet-class>developerworks.ajax.servlet.CartServlet</servlet-class>
<load-on-startup>1</load-on-startup>
</servlet>
<servlet-mapping>
<servlet-name>Cart</servlet-name>
<url-pattern>/cart.do</url-pattern>
</servlet-mapping>
Mapea la clase CartServlet.class a /cart.do en el archivo web.xml.
Lo puedes ver en el código fuente del ejemplo que pusiste que te lo bajas en el botón de abajo de todo de esta url:
http://www-128.ibm.com/developerwork...cale=worldwide
Yo no controlo mucho de servlets/jsp's, pregunta en su foro.