fix typo in web app dtd url (jetty does actually use that dtd!)