diff --git a/Jenkinsfile b/Jenkinsfile
index 389cbc4b..eed35952 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -21,20 +21,8 @@ for (int i = 0; i < platforms.size(); ++i) {
                 }
 
                 stage('Build') {
-                    withEnv([
-                        "JAVA_HOME=${tool 'jdk8'}",
-                        "PATH+MVN=${tool 'mvn'}/bin",
-                        'PATH+JDK=$JAVA_HOME/bin',
-                    ]) {
-                        timeout(30) {
-                            String command = 'mvn --batch-mode clean install -Dmaven.test.failure.ignore=true'
-                            if (isUnix()) {
-                                sh command
-                            }
-                            else {
-                                bat command
-                            }
-                        }
+                    timeout(30) {
+                        infra.runMaven(['clean', 'install', '-Dmaven.test.failure.ignore=true'])
                     }
                 }