IDE and check50's backend image out of sync

[pazz]

Hi!
I am running into trouble because of the recently updated IDE environment: it has a different version of the java compiler/interpreter than what is used in the backend image that runs checks (when I invoke chcek50 with some slug).

On the web (ide.cs50.io) and the docker image i see

java --version
openjdk 15.0.1 2020-10-20
OpenJDK Runtime Environment (build 15.0.1+9-18)
OpenJDK 64-Bit Server VM (build 15.0.1+9-18, mixed mode, sharing)

On the lab environment (lab.cs50.io) I see

java --version
openjdk 13.0.1 2019-10-15
OpenJDK Runtime Environment (build 13.0.1+9)
OpenJDK 64-Bit Server VM (build 13.0.1+9, mixed mode, sharing)

I suspect the image that check50 uses is closer to the latter?
It'd be a massive help if you could update all images to the same java version.

(My use case is that I am compiling java files into (junit) class files which I then publish to be run as part of checks.
At the moment the checks fail because the class files I compile on the IDE are in a newer format that the older interpreter does not eat.)

Thanks!

[pazz]

I just realised that this request may be better placed in https://github.com/cs50/check . Should I move it there?

[rongxin-liu]

e445330