anchor.diff:              switch_to_<%= node.java.default_version %>
               ;;
           *)
  -            warn_jdk_not_found "$1"
  +            warn_jdk_not_known "$1"
               false
               ;;
       esac
  
positive.code:             print_home_of_openjdk7
              ;;
          *)
              warn_jdk_not_found "$JDK"
              ;;
      esac
  }
  
negative.code: }
  
  warn_sunjdk6_eol () {
      echo "Sun/Oracle JDK 6 is EOL since November 2012, and is no longer supported. Please consider upgrading..." >&2
  }
  
  warn_jdk_not_known () {
      echo "Sorry, but JDK '$1' is not known." >&2
  }
  
  warn_gcj_user () {
  