Update dependency org.jenkins-ci.plugins:jdk-tool to v80 (stable-2.462) - abandoned

Update dependency org.jenkins-ci.plugins:jdk-tool to v80 (stable-2.462) - abandoned #2807