anchor.diff:          openjdk7|jdk7|1.7.0|1.7|7.0)
               switch_to_openjdk7
               ;;
  -         openjdk8|jdk8|1.8.0|1.8|8.0)
  +        openjdk8|jdk8|1.8.0|1.8|8.0)
               switch_to_openjdk8
               ;;
           oraclejdk6|oraclejdk1.6|oraclejdk1.6.0|oracle6|oracle1.6.0|oracle6.0|sunjdk6|sun6)
  
positive.code:             print_home_of_oraclejdk8
              ;;
          default)
              print_home_of_<%= node.java.default_version %>
              ;;
          *)
              warn_jdk_not_known "$JDK"
  
negative.code: }
  
  warn_gcj_user () {
      echo "We do not support GCJ. I mean, come on. Are you Richard Stallman?" >&2
  }
  
  switch_jdk()
  