JDK versions for MPS 2018.2 until 2023.2
Since the JetBrains MPS migration guide is not entirely exhaustive (or I couldnĀ“t easily extract exhaustive information from it) about when it switches the JDK/JRE version it uses, here is a short list, at least from versions 2018.2 until 2023.2: