private void undeploy(File file) throws DeploymentException
{
Server server = manager.getServer(configuration.getProfileName());
try
{
server.undeploy(file);
}
catch (Exception e)
{
failedUndeployments.add(file.getName());
throw new DeploymentException("Could not undeploy " + file.getName(), e);