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