update included JRE to 25

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. 😀

この issue では、ファイル、テスト、エントリーポイントが指定されていません。まず vscode-java が同梱する JRE をどのようにパッケージ化して選択しているかを特定し、次に Java 25 への更新経路を確認してください。Extension が、別の JRE を必要とせずに Spring Tools で再利用できる Java 25 runtime を提供できれば完了です。