web.xmlの要素の順番

java

サーブレットAPI2.4のスキーマにはの子要素の順番は定義されていない。
SPECにはarbitrary(任意)とあるので、好きでいいらしい。

Sub elements under <web-app> can be in an arbitrary order (13.2)

でも、こうすると

<servlet-mapping>
    <servlet-name>HelloServlet</servlet-name>
    <url-pattern>/HelloServlet</url-pattern>
</servlet-mapping>

<servlet>
    <servlet-name>HelloServlet</servlet-name>
    <servlet-class>foo.HelloServlet</servlet-class>
</servlet>

ダメらしい(サーバ起動時にエラーになる)

Caused by: java.lang.IllegalArgumentException: 
サーブレットマッピングは未知のサーブレット名 HelloServlet を指定しています


Tomcatだからダメなんだろうか？仕様的にダメなんだろうか？