[JENKINS-755] make system JDK installation explicit
can then be removed by users who don’t want to rely on such a JDK