diff --git a/Jenkinsfile b/Jenkinsfile
index 5bd0abc..dc512eb 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -16,13 +16,11 @@
 // under the License.
   
 pipeline {
-  agent {
-    label '!Windows'
-  }
-
-  tools { 
-    maven 'Maven (latest)' 
-    jdk 'JDK 1.8 (latest)' 
+  agent any
+  
+  tools {
+    maven 'maven_latest' 
+    jdk 'jdk_1.8_latest' 
   }
 
   options {
@@ -48,7 +46,14 @@
     stage("Build info") {
       steps {
         echo '=== Environment variables ==='
-        sh 'printenv'
+        script {
+          if (isUnix()) {
+            sh 'printenv'
+          }
+          else {
+            bat 'set'
+          }
+        }
       }
     }