Index: Jenkins/Distribute
===================================================================
--- Jenkins/Distribute	(revision 68f2e42833f547f34b6b6b3fc81853a6a54bf6f3)
+++ Jenkins/Distribute	(revision 6c9e0bc4fcb6f530280212e572b29daed0350875)
@@ -32,7 +32,7 @@
 				SrcDir    = pwd tmp: false
 
-				Tools.clean()
+				Tools.Clean()
 
-				Tools.checkout( commit )
+				Tools.Checkout( commit )
 			}
 
Index: Jenkins/tools.groovy
===================================================================
--- Jenkins/tools.groovy	(revision 68f2e42833f547f34b6b6b3fc81853a6a54bf6f3)
+++ Jenkins/tools.groovy	(revision 6c9e0bc4fcb6f530280212e572b29daed0350875)
@@ -24,5 +24,5 @@
 // Common compilation routines
 //===========================================================================================================
-def clean() {
+def Clean() {
 	BuildStage('Cleanup', true) {
 		// clean the build by wipping the build directory
@@ -33,5 +33,5 @@
 }
 
-def checkout(commitHash = null) {
+def Checkout(commitHash = null) {
 	BuildStage('Checkout', true) {
 		//checkout the source code and clean the repo