diff --git a/Jenkinsfile b/Jenkinsfile
index 47f9d1d..b38a937 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -1,5 +1,9 @@
 pipeline {
-    agent any
+    agent any {
+        tools {
+            jdk 'jdk8'
+        }
+    }
 
     options {
         buildDiscarder(
@@ -13,9 +17,6 @@ pipeline {
         stage("Build on Linux") {
             agent {
                 label 'linux'
-                tools {
-                    jdk 'jdk8'
-                }
             }