Maven build with java 17 failed

[mstepan]

infer run  -- mvn clean package

Failed b/c java 11 used as a forked version.

Please include the following information:

• [v] Infer version v1.2.0
• [v] Darwin Kernel Version 23.5.0
• [v] infer run -- mvn clean package
• [v] Compilation errors related to java 17 features, such as records

  error: records are not supported in -source 11
  [ERROR]   (use -source 16 or higher to enable records)

[jiangxincode]

There is same fault in my project: https://github.com/jiangxincode/ApkToolBoxGUI/actions/runs/9713937017/job/26811856126

[geralt-encore]

Can you try infer --java-version 17 run -- mvn clean package?