anchor.diff:  #
   # JDK switcher based on https://github.com/michaelklishin/jdk_switcher
   #
  +
  +# first time we run, save PATH
  +ORIG_PATH_FILE=$HOME/.orig.path
  +if [ -f $ORIG_PATH_FILE ]; then
  +    ORIG_PATH=$(cat $ORIG_PATH_FILE)
  +else
  +    ORIG_PATH=$PATH
  +    echo $ORIG_PATH > $ORIG_PATH_FILE
  +fi
   
   if uname -a | grep x86_64 >/dev/null ; then
       ARCH_SUFFIX=amd64
  
positive.code: 
  switch_to_openjdk6 () {
      echo "Switching to OpenJDK6 ($OPENJDK6_UJA_ALIAS), JAVA_HOME will be set to $OPENJDK6_JAVA_HOME"
      sudo $UJA --set "$OPENJDK6_UJA_ALIAS"
      export JAVA_HOME="$OPENJDK6_JAVA_HOME"
  }
  
  switch_to_openjdk7 () {
      echo "Switching to OpenJDK7 ($OPENJDK7_UJA_ALIAS), JAVA_HOME will be set to $OPENJDK7_JAVA_HOME"
      sudo $UJA --set "$OPENJDK7_UJA_ALIAS"
      export JAVA_HOME="$OPENJDK7_JAVA_HOME"
  }
  
  switch_to_oraclejdk7 () {
      echo "Switching to Oracle JDK7 ($ORACLEJDK7_UJA_ALIAS), JAVA_HOME will be set to $ORACLEJDK7_JAVA_HOME"
      sudo $UJA --set "$ORACLEJDK7_UJA_ALIAS"
      export JAVA_HOME="$ORACLEJDK7_JAVA_HOME"
  }
  
  switch_to_oraclejdk8 () {
      echo "Switching to Oracle JDK8 ($ORACLEJDK8_UJA_ALIAS), JAVA_HOME will be set to $ORACLEJDK8_JAVA_HOME"
      sudo $UJA --set "$ORACLEJDK8_UJA_ALIAS"
      export JAVA_HOME="$ORACLEJDK8_JAVA_HOME"
  }
  
  print_home_of_openjdk6 () {
  
negative.code: }
  
  warn_gcj_user () {
      echo "We do not support GCJ." >&2
  }
  
  switch_jdk()
  