Deploying a WAR file to an application server