improved DeploymentManager servlet class