Use CircleCI's own JDK8.