DO NOT REPLY [Bug 3910] New: - web.xml mime type incorrect for jnlp

[bugzilla]

DO NOT REPLY TO THIS EMAIL, BUT PLEASE POST YOUR BUG 
RELATED COMMENTS THROUGH THE WEB INTERFACE AVAILABLE AT
<http://nagoya.apache.org/bugzilla/show_bug.cgi?id=3910>.
ANY REPLY MADE TO THIS MESSAGE WILL NOT BE COLLECTED AND 
INSERTED IN THE BUG DATABASE.

http://nagoya.apache.org/bugzilla/show_bug.cgi?id=3910

web.xml mime type incorrect for jnlp

           Summary: web.xml mime type incorrect for jnlp
           Product: Tomcat 4
           Version: 4.0 Release Candidate 2
          Platform: PC
        OS/Version: Other
            Status: NEW
          Severity: Normal
          Priority: Other
         Component: Webapps
        AssignedTo: [EMAIL PROTECTED]
        ReportedBy: [EMAIL PROTECTED]


The web.xml file that ships with tomcat contains the following for the jnlp 
mime type:
  <mime-mapping>
    <extension>jnlp</extension>
    <mime-type>x-java-jnlp-file</mime-type>
  </mime-mapping>

but that doesn't work.  webstart requests it look like this:
  <mime-mapping>
    <extension>jnlp</extension>
    <mime-type>application/x-java-jnlp-file</mime-type>
  </mime-mapping>