Script to swap environment to a different JDK. Must be sourced to work.

gojdk.sh

#!/bin/bash

echo Switching to Java $1

OLD_JAVA_HOME=$JAVA_HOME

if [ "$1" == "1.6" -o "$1" == "6" -o "$1" == "6.0" ]; then
  export JAVA_HOME=/usr/lib/jvm/java-1.6.0
elif [ "$1" == "1.7" -o "$1" == "7" -o "$1" == "7.0" ]; then
  export JAVA_HOME=/usr/lib/jvm/java-1.7.0
else
  echo Java version $1 not recognized.
  exit 1
fi

NEW_PATH=$(echo $PATH | sed s@$OLD_JAVA_HOME@$JAVA_HOME@g)
if [[ $NEW_PATH != $PATH ]]; then
  export PATH=$NEW_PATH
else
  export PATH=$JAVA_HOME/bin:$PATH
fi