# HG changeset patch
# User Jiri Vanek <jvanek@redhat.com>
# Date 1551963714 -3600
# Node ID b2c7ba07a660337d23c46cb55514b835dd328093
# Parent  5ef482e3aa786a0985d58d4ab6b9b0a7fc5e12a1
Quoted version of jdk work (by Laurent Bourges)

diff -r 5ef482e3aa78 -r b2c7ba07a660 launcher/launchers.sh.in
--- a/launcher/launchers.sh.in	Tue Mar 05 14:22:47 2019 +0100
+++ b/launcher/launchers.sh.in	Thu Mar 07 14:01:54 2019 +0100
@@ -98,10 +98,10 @@
 MODULAR_JDK="NO"
 fullversion=`${JAVA} -version 2>&1`
 version=`echo $fullversion | head -n 1 | cut -d'-' -f1 | cut -d'"' -f2 | cut -d'.' -f1`
-if [ $version -eq "1" ]; then
+if [ "$version" -eq "1" ]; then
   version=`echo $fullversion | head -n 1 | cut -d'-' -f1 | cut -d'"' -f2 | cut -d'.' -f2`
 fi
-if [ $version -ge "9" ]; then
+if [ "$version" -ge "9" ]; then
   MODULAR_JDK="YES"
 fi