commit 6677edb07aadf6140904c499d0eb9e344a0ca071
author Madan Jampani <madan@onlab.us> Wed Oct 29 15:45:55 2014 -0700
committer Madan Jampani <madan@onlab.us> Wed Oct 29 15:45:55 2014 -0700
tree c097c590da8ea051cd472553a16572893b849bde
parent a5012891b4cf09113b66cbba2b67fb78ebd6758c

Reverting back to java 1.7

tools/dev/bash_profile

diff --git a/tools/dev/bash_profile b/tools/dev/bash_profile
index b2f61f2..8d4a784 100644
--- a/tools/dev/bash_profile
+++ b/tools/dev/bash_profile
@@ -8,7 +8,7 @@
 # Setup some environmental context for developers
 if [ -z "${JAVA_HOME}" ]; then
     if [ -x /usr/libexec/java_home ]; then
-        export JAVA_HOME=$(/usr/libexec/java_home -v 1.8)
+        export JAVA_HOME=$(/usr/libexec/java_home -v 1.7)
     elif [ -d /usr/lib/jvm/java-7-openjdk-amd64 ]; then
         export JAVA_HOME="/usr/lib/jvm/java-7-openjdk-amd64"
     fi