Varios elementos de patrón de URL en web.xml

¿Está bien tener varios elementos en el elemento en un web.xml compatible con la versión 2.4 de la aplicación web J2EE como este:

<filter-mapping>
    <filter-name>SomeFilter</filter-name>
    <url-pattern>*.htm</url-pattern>
    <url-pattern>*.do</url-pattern>
</filter-mapping>

Busqué el archivo "web-app_2_4.xsd" de XSD desde aquí:http://java.sun.com/xml/ns/j2ee/web-app_2_4.xsd y la definición se ve así:

  <xsd:complexType name="filter-mappingType">
    <xsd:annotation>
      <xsd:documentation>
            some documentation here
      </xsd:documentation>
    </xsd:annotation>

    <xsd:sequence>
      <xsd:element name="filter-name"
           type="j2ee:filter-nameType"/>
      <xsd:choice>
    <xsd:element name="url-pattern"
             type="j2ee:url-patternType"/>
    <xsd:element name="servlet-name"
             type="j2ee:servlet-nameType"/>
      </xsd:choice>
      <xsd:element name="dispatcher"
           type="j2ee:dispatcherType"
           minOccurs="0" maxOccurs="4"/>
    </xsd:sequence>
    <xsd:attribute name="id" type="xsd:ID"/>
  </xsd:complexType>

La definición del patrón de URL se ve así:

Así que creo que podemos tener múltiples elementos en el elemento. Mi IDE de Eclipse, sin embargo, no parece estar de acuerdo conmigo y espera una etiqueta de "despachador".

Ver imagen: