Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision 27b1ca17f81ccc20c840eef940088ae8724aaa3d)
+++ Jenkinsfile	(revision bd8dca2d42b7c4c7a7f09397411082f2ae86fdf8)
@@ -2,7 +2,4 @@
 
 import groovy.transform.Field
-
-import static Jenkins.tools.build_stage as build_stage
-import Jenkins.tools
 
 //===========================================================================================================
@@ -505,6 +502,11 @@
 		]])
 
-	// It's unfortunate but it looks like we need to checkout the entire repo just to get the pretty git printer
+	// It's unfortunate but it looks like we need to checkout the entire repo just to get
+	// - the pretty git printer
+	// - Jenkins.tools
 	checkout scm
+
+	import static Jenkins.tools.build_stage as build_stage
+	import Jenkins.tools
 
 	final settings = new BuildSettings(params, env.BRANCH_NAME)