Confusing error message about language version on IDE startup

[marat-rkh]

1. Install IntelliJ Community 2020.3.3 and Arend plugin.
2. Clone Arend tutorial project (https://github.com/arend-lang/tutorial-code) and open it in the IDE.

When IDE starts, it shows 2 errors:

10:22 PM [ERROR] Library supports language version >= 1.4, but current language version is 1.6.0.1: PartII
10:22 PM [ERROR] Library supports language version >= 1.4, but current language version is 1.6.0.1: PartI

The message text itself is confusing, it says that the library requires language version at least 1.4, but I have 1.6. So, it doesn't look like my configuration is wrong in any way when I read it. If I look into arend.yaml, I see langVersion: 1.4 there, so the message should actually say "Library supports language version 1.4".

[marat-rkh]

Also, it might be a good idea to update the language version for the tutorial, so that users don't get distracted when they try it these days.

[ice1000]

Also, it might be a good idea to update the language version for the tutorial, so that users don't get distracted when they try it these days.

Yes, this is the problem