void deploy(File deployment) throws IOException, ExecutionException, InterruptedException { server.deploy(deployment); deployments.add(deployment); }