improved DeployManager servlet (added servlet 3.x support) and improved
deployment management