Java 25 support

[testforstephen]

[rgrunber]

See eclipse-jdtls/eclipse.jdt.ls#3527 . It has just been merged in JDT.

[rgrunber]

https://github.com/redhat-developer/vscode-java/pull/4170/files has also been merged, which is the client-side support for Java 25 in vscode-java. The next pre-release should contain the support.