Fixed a windows build for JDK 1.8

elecharny · elecharny · commit 7bf5673e5065 · 2024-09-11T22:17:46.000+02:00
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -173,7 +173,7 @@ pipeline {
 
     stage('Build JDK 8 Windows') {
       tools {
-        jdk "jdk_1.8_latest_windows:"
+        jdk "jdk_1.8_latest_windows"
       }
       steps {
         echo 'Building JDK 8 Windows'
