improved comments on DeployManager servlet class