# HG changeset patch
# User Dirk Olmes <dirk.olmes@codedo.de>
# Date 1589541198 -7200
# Node ID d84faf4d53acc135dde02cbff12120b48cf63735
# Parent  8af0a6219353ba84961001b7b391b327c23bfa51
adding openjdk11

diff -r 8af0a6219353 -r d84faf4d53ac zshrc-jdk
--- a/zshrc-jdk	Wed Apr 15 09:02:04 2020 +0200
+++ b/zshrc-jdk	Fri May 15 13:13:18 2020 +0200
@@ -12,12 +12,17 @@
     java -version
 }
 
-jdk8() {
-    switchJdk "oracle-jdk-bin-1.8"
+openjdk8() {
+    switchJdk "openjdk-bin-8"
 }
 
-openjdk8() {
-    switchJdk "openjdk-bin-8"
+openjdk11() {
+    local new_path=$(removeFromPath "jdk")
+    export JAVA_HOME=/opt/openjdk-bin-11.0.7_p10
+    export JAVAC=${JAVA_HOME}/bin/javac
+    export JDK_HOME=${JAVA_HOME}
+    export PATH="${JAVA_HOME}/bin":"${new_path}"
+    java -version
 }
 
 openjdk13() {