[Build] Stash jdk-resources with respect to WS to prevent gtk conflicts

For linux.x86_64 the jdk-resources for gtk(3) and gtk4 are downloaded,
stashed and deleted into/from the same directory. This leads to
concurrency issues and build failures.

Author: HannesWell

Jenkinsfile

@@ -238,18 +238,18 @@ pipeline {
 						steps {
 							script {
 								def (ws, os, arch) = env.PLATFORM.split('\\.')
-								dir("jdk-download-${os}.${arch}") {
+								dir("jdk-download-${ws}.${arch}") {
 									// Fetch the JDK, which provides the C header-files and shared native libraries, against which the natives are build.
 									sh "curl ${getNativeJdkUrl(os, arch)} | tar -xzf - include/ lib/"
-									stash name:"jdk.resources.${os}.${arch}", includes: "include/,lib/"
+									stash name:"jdk.resources.${ws}.${arch}", includes: "include/,lib/"
 									deleteDir()
 								}
 								runOnNativeBuildAgent("${PLATFORM}") {
 									cleanWs() // Workspace is not cleaned up by default, so we do it explicitly
 									echo "OS: ${os}, ARCH: ${arch}"
 									unstash "swt.binaries.sources.${ws == 'gtk4' ? 'gtk' : ws }"
 									dir('jdk.resources') {
-										unstash "jdk.resources.${os}.${arch}"
+										unstash "jdk.resources.${ws}.${arch}"
 									}
 									withEnv(['MODEL=' + arch, "OUTPUT_DIR=${WORKSPACE}/libs", "SWT_JAVA_HOME=${WORKSPACE}/jdk.resources"]) {
 										if (isUnix()) {