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. 😀
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-javato avoid including its own JRE. Since we would like to start using specific JDK 25 features, I am wondering whenvscode-javawill 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-javato be installed side by side anyway, we try to avoid putting another JRE install on the users machine. 😀