Update dependency openjdk/jdk to v16

[renovate]

This PR contains the following updates:

Package	Update	Change
openjdk/jdk	major	15 → 16

---

Release Notes

openjdk/jdk (openjdk/jdk)

v16

Compare Source

---

Configuration

📅 Schedule: Branch creation - At 12:00 AM through 04:59 AM and 10:00 PM through 11:59 PM, Monday through Friday ( * 0-4,22-23 * * 1-5 ), Only on Sunday and Saturday ( * * * * 0,6 ) in timezone America/Los_Angeles, Automerge - At any time (no schedule defined).

🚦 Automerge: Disabled by config. Please merge this manually once you are satisfied.

♻ Rebasing: Whenever PR is behind base branch, or you tick the rebase/retry checkbox.

🔕 Ignore: Close this PR and you won't be reminded about this update again.

---

• If you want to rebase/retry this PR, check this box

---

This PR was generated by Mend Renovate. View the repository job log.

[wmdietl]

This currently fails with:

Warning: No URI mapped for key: 27,27-ea+16,linux,x64
Error: Exception in thread "main" java.lang.Error: Could not find URI of JDK[release=27, version=27-ea+16, os=linux, arch=x64, type=tar.gz]
	at Download.lambda$main$1(Download.java:77)
	at java.base/java.util.Optional.orElseThrow(Optional.java:403)
	at Download.main(Download.java:77)
	at Download.main(Download.java:42)
Error: Process completed with exit code 1.

Maybe it takes some time from the build tag until it is usable.

[wmdietl]

Something else seems broken, as #1618 fails with:

Warning: No URI mapped for key: 27,27-ea+15,linux,x64
Error: Exception in thread "main" java.lang.Error: Could not find URI of JDK[release=27, version=27-ea+15, os=linux, arch=x64, type=tar.gz]
	at Download.lambda$main$1(Download.java:77)
	at java.base/java.util.Optional.orElseThrow(Optional.java:403)
	at Download.main(Download.java:77)
	at Download.main(Download.java:42)
Error: Process completed with exit code 1.

[wmdietl]

So it finds build 16 now, but build 15 that is used on master is no longer available.
@thisisalexandercook Can you think of a way to make CI stable? Is there a different way to get old builds?

b16 fails with

/home/runner/work/checker-framework/checker-framework/framework/src/main/java/org/checkerframework/framework/source/SourceChecker.java:1911: warning: [removal] getStartPosition(CompilationUnitTree,Tree) in SourcePositions has been deprecated and marked for removal
        long start = sourcePositions.getStartPosition(currentRoot, tree);
> Task :framework:compileJava
                                    ^
/home/runner/work/checker-framework/checker-framework/framework/src/main/java/org/checkerframework/framework/source/SourceChecker.java:1912: warning: [removal] getEndPosition(CompilationUnitTree,Tree) in SourcePositions has been deprecated and marked for removal
        long end = sourcePositions.getEndPosition(currentRoot, tree);
                                  ^
error: warnings found and -Werror specified
/home/runner/work/checker-framework/checker-framework/framework/src/main/java/org/checkerframework/common/basetype/BaseTypeVisitor.java:519: warning: [removal] getStartPosition(CompilationUnitTree,Tree) in SourcePositions has been deprecated and marked for removal
                            positions.getStartPosition(root, expected),
                                     ^

Which comes from a recent change in the JDK. I'll suppress these warnings and file a follow-up issue.

[wmdietl]

https://github.com/oracle-actions/setup-java/blob/main/jdk.java.net-uri.properties no longer contains b15, but the URL for b15 can still be accessed.

@thisisalexandercook Can you try whether using https://github.com/oracle-actions/setup-java?tab=readme-ov-file#input-uri the 'uri' attribute would allow us to continue to use b15?

[thisisalexandercook]

@wmdietl opened #1620 to test this.