From a67441a292df17d1a4568030085a710fd964eeec Mon Sep 17 00:00:00 2001
From: Allan Renucci <allan.renucci@gmail.com>
Date: Wed, 11 Oct 2017 15:41:49 +0200
Subject: [PATCH] Fix #3304: Launch script now requires Java 8

---
 dist/bin/common | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/dist/bin/common b/dist/bin/common
index 86a47ddf4f6f..652b262cff73 100755
--- a/dist/bin/common
+++ b/dist/bin/common
@@ -61,6 +61,14 @@ if [ ! -x "$JAVACMD" ] ; then
   exit 1
 fi
 
+# parses 1.7, 1.8, 9, etc out of java version "1.8.0_91"
+JAVA_VERSION=$("$JAVACMD" -version 2>&1 | grep ' version "' | sed 's/.*version "\([0-9]*\)\(\.[0-9]*\)\{0,1\}\(.*\)*"/\1\2/; 1q')
+
+if [ "$JAVA_VERSION" != "1.8" ] ; then
+  echo "Error: Java 8 is required, actual $JAVA_VERSION"
+  exit 1
+fi
+
 if [ -z "$JAVA_HOME" ] ; then
   echo "Warning: JAVA_HOME environment variable is not set."
 fi