Upgrade Java version in community-build#16412

nicolasstucki wants to merge 2 commits intoscala:mainscala/scala3:mainfrom

dotty-staging:upgrade-java-in-community-builddotty-staging/dotty:upgrade-java-in-community-buildCopy head branch name to clipboard