title: Tomcat, change name of deploy dir for war file
body: <p>This may not be a difficult question, but I probably do not have the right terminology and am not finding the answer.</p>
  
  <p>When I deploy a war file in Tomcat (7), say, myapp-1.0.war, a new directory, myapp-1.0, is created under webapps. Is there a way to change the name of the new directory? e.g. When I deploy myapp-1.0.war, the new directory is named myapp? Is this configurable inside the war file somehow?</p>