improved DeployManager servlet class methods