Updates for jenkins DNS change

Change-Id: I9db66fc720885b9d79afc2e11b25010da0b483af
diff --git a/jjb/defaults.yaml b/jjb/defaults.yaml
index 7c9857f..b991127 100644
--- a/jjb/defaults.yaml
+++ b/jjb/defaults.yaml
@@ -26,7 +26,7 @@
 
     # The most frequently used type of build node
     # see other build node types under "Cloud > Amazon EC2" at
-    #  https://jenkins-new.opencord.org/configure
+    #  https://jenkins.opencord.org/configure
     build-node: ubuntu16.04-basebuild-1c-1g
 
     # CORD Gerrit server definition, set in configuration
diff --git a/jjb/shell/jflint.sh b/jjb/shell/jflint.sh
index e7b76f0..0972793 100755
--- a/jjb/shell/jflint.sh
+++ b/jjb/shell/jflint.sh
@@ -20,7 +20,7 @@
 
 set -e -u -o pipefail
 
-JENKINS_URL=https://jenkins-new.opencord.org/
+JENKINS_URL=https://jenkins.opencord.org/
 JF_LIST=()
 
 # if no args, and there's a Jenkinsfile in cwd, check it