diff --git a/JenkinsFile1 b/JenkinsFile1
index 2c57b8d40..3c1a4b55c 100644
--- a/JenkinsFile1
+++ b/JenkinsFile1
@@ -1,7 +1,7 @@
 pipeline{
-	agent any
-	// tools{
-	// 	maven "test-maven"
+	//agent any
+	//tools{
+	//maven "test-maven"
 	// }
       stages{
            stage('Checkout'){