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