Should not exist; apparently added by mistake.
[FIXED JENKINS-24251] Do not issue bogus warning about missing default JDK.