update included JRE to 25 #4353

It would be awesome if the included JRE could be updated to a recent Java 25 runtime.

Background: the Spring Tools try to re-use the JDK that comes with vscode-java to avoid including its own JRE. Since we would like to start using specific JDK 25 features, I am wondering when vscode-java will update its internal JRE to 25... :-)

We could - of course - include and ship our own JRE, but due to the fact that we rely on vscode-java to be installed side by side anyway, we try to avoid putting another JRE install on the users machine. 😀