Compiler level and gradle project settings are inconsistent

[mozhuanzuojing]

I'm using a gradle project, and the gradle compiled source code level is JDK19,

java {
    toolchain {
        languageVersion = JavaLanguageVersion.of(19)
        vendor = JvmVendorSpec.ADOPTIUM
    }
}

but the actual compilation level is JDK1.8.
After my check, I found that JDK1.8 is derived from "java.settings.url": "file:///C:/Users/Administrator/AppData/Roaming/Code/User/org.eclipse.jdt.core.prefs",

Environment

• Operating System:Windows11 22H
• JDK version:19
• Visual Studio Code version:1.72.2
• Java extension version:1.12.0

Steps To Reproduce

1. set "java.settings.url

org.eclipse.jdt.core.compiler.source=1.8
org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.8
org.eclipse.jdt.core.compiler.compliance=1.8

3. set gradle project source level

java {
    toolchain {
        languageVersion = JavaLanguageVersion.of(19)
        vendor = JvmVendorSpec.ADOPTIUM
    }
}

Current Result

java source level = jdk1.8

Expected Result

java source level = jdk19

Additional Informations

If I change the configuration java.settings.url to JDK19, the source code level is 19.

[CsCherrYY]

looks like a bug related to #2764, and this issue has been fixed in the pre-release version. Would you mind switching to pre-release verison (v1.13.2022102804 for now), and clean workspace?

[jdneo]

Could you try the suggestion that @CsCherrYY provided and let us know if this fixes your problem?

[mozhuanzuojing]

Could you try the suggestion that @CsCherrYY provided and let us know if this fixes your problem?

sorry, replay late. i test it . it's ok. everything is normal now !

[mozhuanzuojing]

looks like a bug related to #2764, and this issue has been fixed in the pre-release version. Would you mind switching to pre-release verison (v1.13.2022102804 for now), and clean workspace?

Used the preview version and now it works. thanks!

[mozhuanzuojing]