Changing DeployExtension to see if it fixes the Jenkins build.