Deleting server.xml file (for tomcat 5) since it is being replaced by server_tomcat5 and server_tomcat6 xml files. The one appropriate to the context will be used by Greenstone3's build.xml.