improved DeployManager servlet