Merge pull request #353 from mbeddr/merge/master

Merge maintenance/MPS-2025.1 into master

Author: mps-ci-buildbot

build.gradle

@@ -63,7 +63,7 @@ configurations {
 
 dependencies {
     // Use the following dependency for published releases:
-    //   mps 'com.jetbrains:mps:2024.3'
+    //   mps 'com.jetbrains:mps:2025.1'
     mps 'com.jetbrains.mps:mps-prerelease:251.23774.10102'
     antLib "org.apache.ant:ant-junit:1.10.15"
     antLib "org.jacoco:org.jacoco.ant:0.8.13"