Target J11

[zml2008]

Now that the latest versions of several of our dependencies (Spotless, JGit) target Java 11 as a minimum, and many people are developing software targeting even Java 17, we might as well bump our required Java runtime to J11.