From 02ed7b38040ea7413ff320d69693250243aa60c2 Mon Sep 17 00:00:00 2001
From: "Tomasz \"LAFK_pl\" Borek" <Tomasz.Borek@gmail.com>
Date: Sat, 10 Feb 2018 17:03:01 +0100
Subject: [PATCH] Zulu provider now recognized aside from OpenJDK.

Reasons for distinction are nicely illustrated by Azul's CTO, Gil Tene:

https://groups.google.com/forum/#!topic/mechanical-sympathy/jQGahuzJKM4
https://news.ycombinator.com/item?id=8496003

And on Support forum for Zulu:
https://support.azul.com/hc/en-us/community/posts/200966724-Zulu-vs-OpenJDK-

Since I know of no other OpenJDK binaries which are CERTIFIED to be
TCK-compliant, seems like a good reason to have it.
Another is the fact, that SDKMAN installs it when you chose to install
Java.
---
 libexec/jenv-add | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/libexec/jenv-add b/libexec/jenv-add
index 6c66fa3..13b903a 100755
--- a/libexec/jenv-add
+++ b/libexec/jenv-add
@@ -99,6 +99,9 @@ then
 		if $JENV_JAVAPATH/bin/java -version 2>&1 | grep -q "HotSpot"; then
 			JAVA_PROVIDER="oracle"
 		else
+		   	if $JENV_JAVAPATH/bin/java -version 2>&1 | grep -q "Zulu"; then
+				JAVA_PROVIDER="zulu"
+			else
 		   	if $JENV_JAVAPATH/bin/java -version 2>&1 | grep -q "OpenJDK"; then
 				JAVA_PROVIDER="openjdk"
 			else
@@ -113,6 +116,7 @@ then
           fi;
 				fi;
 			fi;
+			fi;
 		fi;
     if [ $JAVA_PROVIDER=="sap" ]; then
       JAVA_PLATFORM="64"