added DeployManager servlet default name