Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision bd8dca2d42b7c4c7a7f09397411082f2ae86fdf8)
+++ Jenkinsfile	(revision d8d9130fd30d0f5c50c5cadf89268cc5dea21e64)
@@ -507,6 +507,6 @@
 	checkout scm
 
-	import static Jenkins.tools.build_stage as build_stage
-	import Jenkins.tools
+	tools = load "${SrcDir}/Jenkins/tools.Groovy "
+	build_stage = tools.build_stage
 
 	final settings = new BuildSettings(params, env.BRANCH_NAME)