[JENKINS-755] make system JDK installation explicit

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