diff --git a/JenkinsJobs/Builds/build.jenkinsfile b/JenkinsJobs/Builds/build.jenkinsfile
index 5ebef75caf4..9e1d254d0a3 100644
--- a/JenkinsJobs/Builds/build.jenkinsfile
+++ b/JenkinsJobs/Builds/build.jenkinsfile
@@ -252,6 +252,9 @@ pipeline {
 			}
 		}
 		stage('Check for comparator errors') {
+			tools {
+				jdk 'temurin-jdk25-latest'
+			}
 			steps {
 				sh '''#!/bin/bash -xe
 					source $CJE_ROOT/scripts/common-functions.shsource