For most build tasks in the `JenkinsFile`, the JDK is unspecified, counting on the build boxes to have a default JDK set. While this may be a reasonable assumption, it would be better if each task clearly indicated the JDK version.