Upgrade to Java 11

See https://www.jenkins.io/blog/2022/06/28/require-java-11/

Beginning with Jenkins 2.357 (released on June 28, 2022) and the forthcoming September LTS release, Jenkins requires Java 11.

We need to upgrade the Jenkins plugin to Java 11.