web.xml servlet-name validation is not case-sensitive

[Using the HTML5 sample project generated from Central]

I'm adding a servlet declaration in the web.xml file but the web.xml editor does not report a warning when the servlet name case is wrong:

 <servlet-mapping>
   <servlet-name>org.jboss.tools.example.html5.rest.JaxrsActivator</servlet-name>
   <url-pattern>/hello/*</url-pattern>
</servlet-mapping>

In the example above, the class name should be JaxRsActivator, not JaxrsActivator.

On the other hand, it properly reports a warning when a letter is missing in the classname.