diff --git a/jenkins/agent-base/ods-run-jnlp-client.sh b/jenkins/agent-base/ods-run-jnlp-client.sh
index 0b7e02da4..00d648250 100755
--- a/jenkins/agent-base/ods-run-jnlp-client.sh
+++ b/jenkins/agent-base/ods-run-jnlp-client.sh
@@ -5,7 +5,9 @@ set -ue
 JAVA_HOME=${JAVA_HOME:-""}
 
 if [ -f /etc/profile.d/set-default-java.sh ]; then
+    set -x
     source /etc/profile.d/set-default-java.sh
+    set +x
 else
     echo "WARNING: Not setting default java version."
 fi