update the build script

build.gradle

@@ -12,7 +12,7 @@ plugins {
     id 'de.itemis.mps.gradle.launcher' version '2.5.2.+'
 }
 
-ext.jbrVers = '17.0.8.1-b1000.32'
+ext.jbrVers = '17.0.11-b1207.30'
 
 downloadJbr {
     jbrVersion = jbrVers
@@ -27,9 +27,11 @@ if (System.env.CI != null && System.env.CI.toBoolean()) {
     ext.ciBuild = project.hasProperty("teamcity")
 }
 
+ext.mpsVersion =  '2024.1.1'
+
 // Project versions
-ext.major = '999'
-ext.minor = '9'
+ext.major = '2024'
+ext.minor = '1'
 
 if (ciBuild) {
     String branch = GitBasedVersioning.gitBranch
@@ -54,9 +56,7 @@ configurations {
 }
 
 dependencies {
-    // Use the following dependency for published releases:
-    //   mps 'com.jetbrains:mps:2024.1'
-    mps 'com.jetbrains.mps:mps-prerelease:241.19072.10578'
+    mps "com.jetbrains:mps:$mpsVersion"
     antLib "org.apache.ant:ant-junit:1.10.15"
     antLib "org.jacoco:org.jacoco.ant:0.8.12"
 }