this script checks if a (global) version was set by jenv. if so, use that path if no version was requested explicitly (e.g. by java_home -v '1.7.*' or something)
# set env if not already done so. something like this for bash
echo "export JAVA_HOME=`/usr/libexec/java_home`" >> ~/.bash_profile;
# this should be brew install something, but for now...
curl 'https://gist.githubusercontent.com/duydao/9950734/raw/dff4d3bde816bfc0e9e11c4498a68c43800ae090/java_home' -o /usr/local/bin/java_home
chmod +x /usr/local/bin/java_home
# /usr/libexec is owned by root, so we have to sudo
sudo mv /usr/libexec/java_home /usr/libexec/java_home_orig
sudo ln -s /usr/local/bin/java_home /usr/libexec/java_home
# restart console or source ~/.bash_profile