From 167cb97337760fe0f8168ef3dc7a2f42d1a2ed21 Mon Sep 17 00:00:00 2001
From: Andreas Dangel <andreas.dangel@adangel.org>
Date: Sun, 29 Jul 2018 11:26:27 +0200
Subject: [PATCH] Fix missing full_ver in run.sh

---
 pmd-dist/src/main/scripts/run.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/pmd-dist/src/main/scripts/run.sh b/pmd-dist/src/main/scripts/run.sh
index 8397f31dc8..5cd03fb76a 100755
--- a/pmd-dist/src/main/scripts/run.sh
+++ b/pmd-dist/src/main/scripts/run.sh
@@ -75,6 +75,7 @@ check_lib_dir() {
 }
 
 jre_specific_vm_options() {
+  full_ver=$(java -version 2>&1)
   # java_ver is eg "18" for java 1.8, "90" for java 9.0, "100" for java 10.0.x
   java_ver=$(echo $full_ver | sed -n '{
       # replace early access versions, e.g. 11-ea with 11.0.0