Can I specify language/JDK level?

[omega]

We run our apps with java 17, and use some java 17 features, like Stream.toList(), but Qodana seems to check with another java version?

What is even stranger is that the next line is a suggestion to replace collect(toList()) with toList(), but the second is not from the sanity-checker perhaps?

[brichbash]

The information about the required jdk and language level is stored in .idea/misc.xml that is used and generated (if it is absent) in the project root by Qodana. You can create it before a step with Qodana. misc.xml should contain:

<?xml version="1.0" encoding="UTF-8"?>
<project version="4">
  <component name="ExternalStorageConfigurationManager" enabled="true" />
  <component name="FrameworkDetectionExcludesConfiguration">
    <file type="web" url="file://$PROJECT_DIR$" />
  </component>
  <component name="ProjectRootManager" version="2" languageLevel="JDK_17" project-jdk-name="openjdk-17" project-jdk-type="JavaSDK">
    <output url="file://$PROJECT_DIR$/out" />
  </component>
</project>

You can use other JDKs from the list in the attached file using names from suggested_sdk_name field.
UPDATE:
Since 2022.2 you can use projectJDK property in qodana.yaml.

[ropsahl]

I have tried this with jetbrains/qodana-jvm:2022.1-eap but I get:
WARN - #c.i.o.p.i.UnknownSdkInspectionCommandLineConfigurator - Failed to resolve JDK "openjdk-17": JDK "openjdk-17" is missing
And my .idea/misc.xml is then overwritten by default value.

[brichbash]

Could you please try using "17" instead of "openjdk-17"?

[ropsahl]

Yes, Thank you, that worked!