jenkinsci/jenkins — pull request #1451 by ndeloof (2014-11-03 13:23:10+00:00)
Title: [JENKINS-755] make system JDK installation explicit

can then be removed by users who don’t want to rely on such a JDK