setjdk() function for bash: Use "setjdk 1.7", "setjdk 1.8", or "setjdk" (to see current setting).

setjdk.sh

# Adapted from http://superuser.com/a/568016/64151
# Add this function to .bash_profile, then use 
# "setjdk 1.7", "setjdk 1.8", or "setjdk" (to see current setting).
function setjdk() {  
	if [ $# -ne 0 ]; then  
		function removeFromPath() {  
			export PATH=$(echo $PATH | sed -E -e "s;:$1;;" -e "s;$1:?;;")  
		}

		removeFromPath '/System/Library/Frameworks/JavaVM.framework/Home/bin'  

		if [ -n "${JAVA_HOME+x}" ]; then  
			removeFromPath $JAVA_HOME  
		fi  

		export JAVA_HOME=`/usr/libexec/java_home -v $@`  
		export PATH=$JAVA_HOME/bin:$PATH  
	fi  

	echo JAVA_HOME set to $JAVA_HOME  
	java -version  
}