title: Why can't I edit the servlet name in web.xml?
body: <p>I have gotten everything working for my class in which I am using Tomcat and Eclipse to write java servlets.  What I would like to know is why eclipse seems to give me problems when I try to edit the servlet-name in the web.xml file.  Does eclipse not allow you to edit this file? </p>
  
  <p>I know that it automatically adjusts the file to include the servlets that you add to a project, but  can't I edit it manually?  I can go in and change the servlet-name, but then it doesn't work with the new servlet name. I can do this all manually without eclipse, and it works just fine.</p>