Редактирование web.xml в Tomcat

<web-app>
    <display-name>my examples</display-name>
    <description>
      Example servlets.
    </description>
 
      
    <context-param>
         <param-name>config</param-name>
         <param-value>c:startupservlet.properties</param-value>
    </context-param>
 
    <listener>
        <listener-class>my.company.jsp.SessionRegistry</listener-class>
    </listener>
 
      <servlet> 
         <servlet-name>page31</servlet-name>
         <servlet-class>my.company.servlet.demo.Page3</servlet-class>
      </servlet>
      <servlet> 
         <servlet-name>logout</servlet-name>
         <servlet-class>my.company.servlet.demo.Logout</servlet-class>
      </servlet>
 
      <servlet-mapping> 
         <servlet-name>page31</servlet-name>
         <url-pattern>/Page31</url-pattern>
      </servlet-mapping> 
      <servlet-mapping> 
         <servlet-name>logout</servlet-name>
         <url-pattern>/Logout</url-pattern>
      </servlet-mapping> 
 
</web-app>