Index: trunk/linux/latest/usr/bin/josm-latest
===================================================================
--- trunk/linux/latest/usr/bin/josm-latest	(revision 12591)
+++ trunk/linux/latest/usr/bin/josm-latest	(revision 12717)
@@ -47,5 +47,5 @@
 if [ "$JAVACMD" ]; then
     echo "Using $JAVACMD to execute josm-latest." || true
-    if [[ $JAVACMD == *"java-9"* ]]; then
+    if [ "`expr match \"${JAVACMD}\" 'java-9'`" != "0" ]; then
         JAVA_OPTS="--add-modules java.se.ee $JAVA_OPTS"
     fi