Closed
Description
We need to make sure that the VSCode extension double checks the version of the JDK is runs the language server on and reports anything that is <17 to the user as a wrong setting.
See the comment here: #893 (comment)
We need to make sure that the VSCode extension double checks the version of the JDK is runs the language server on and reports anything that is <17 to the user as a wrong setting.
See the comment here: #893 (comment)