Tomcat で、サーブレットのクラスファイル(.class)を URL にマップする方法

Tomcat を使っていて、サーブレットのクラス名 our_servlet.class に次の URL をマップしたい場合を考える。

https://localhost:8080/our_dir/ourservlet
    <li>まず $CATALINA_HOME/webapps/ を探す。<br />
    ここで、$CATALINA_HOME とは Tomcat をインストールしたディレクトリを表す環境変数である。
    </li>
    <li>
    our_servlet.class を置くディレクトリ
    
    $CATALINA_HOME/webapps/our_dir
    を作る。もしサーブレットを URL のルート(https://localhost:8080/)にしたいのであれば、サーブレットは$CATALINA_HOME/webapps/our_dir に置くことになる。
    </li>
    <li>
    次のディレクトリを作る。
    
    $CATALINA_HOME/webapss/our_dir/WEB-INF $CATALINA_HOME/webapss/our_dir/WEB-INF/classes
    </li>
    <li>
    次のディレクトリにサーブレットのクラスファイル(.class)を置く。
    
    $CATALINA_HOME/webapss/our_dir/WEB-INF/classes
    </li>
    <li>
    $CATALINA_HOME/webapss/our_dir/WEB-INF のディレクトリに web.xml という名前のファイルを置く。
    </li>
    <li>
    以下のように $CATALINA_HOME/webapss/our_dir/WEB-INF/web.xml にタグを書く。
    
    … … …

    具体的には次のようになる。

    <?xml version="1.0" encoding="ISO-8859-1"?> <!DOCTYPE web-app <span>    PUBLIC "-//Sun Microsystems, Inc.//DTD Web Application 2.3//EN"    "https://java.sun.com/dtd/web-app_2_3.dtd">              OUR SERVLET         our_servlet                   OUR SERVLET         /ourservlet     
    </li>