<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE web-app PUBLIC "-//Sun Microsystems, Inc.//DTD Web Application 2.3//EN" "http://java.sun.com/dtd/web-app_2_3.dtd">

<web-app>
  <servlet>
    <servlet-name>FigTree</servlet-name>
    <display-name>FigTree</display-name>
    <description>FigTree</description>
    <servlet-class>figtree.webui.Main</servlet-class>
  </servlet>
  <servlet-mapping>
    <servlet-name>FigTree</servlet-name>
    <url-pattern>/figtree/*</url-pattern>
  </servlet-mapping>
</web-app>

