# HG changeset patch
# User Dirk Olmes <dirk@xanthippe.ping.de>
# Date 1396258309 -7200
# Node ID 47174e41b4489d75f7028d59ab74435c63b9946f
# Parent  9cc72008cf08936e274cead3c930145c7bf678fe
add a switch for Java 8

diff -r 9cc72008cf08 -r 47174e41b448 zshrc-jdk
--- a/zshrc-jdk	Fri Mar 07 07:57:27 2014 +0100
+++ b/zshrc-jdk	Mon Mar 31 11:31:49 2014 +0200
@@ -35,3 +35,7 @@
 jdk7() {
     switchJdk "oracle-jdk-bin-1.7"
 }
+
+jdk8() {
+    switchJdk "oracle-jdk-bin-1.8"
+}