}
protected void checkDeploymentExists(int pos, String verticleName, DeploymentOptions options) {
VertxInternal vi = (VertxInternal)vertices[pos];
for (String deploymentID: vi.deployments()) {
Deployment dep = vi.getDeployment(deploymentID);
if (verticleName.equals(dep.verticleIdentifier()) && options.equals(dep.deploymentOptions())) {
return;
}
}