update the JBR

mbeddr · Nov 18, 2024 · 796018b · 796018b
1 parent e876813
commit 796018b
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/build.gradle.kts b/build.gradle.kts
@@ -15,7 +15,7 @@ plugins {
     id("de.itemis.mps.gradle.common") version mpsGradlePluginVersion
 }
 
-val jbrVers = "17.0.8.1-b1000.32"
+val jbrVers = "17.0.11-b1207.30"
 
 downloadJbr {
     jbrVersion = jbrVers

diff --git a/gradle.lockfile b/gradle.lockfile
@@ -7,7 +7,7 @@ com.fasterxml.jackson.core:jackson-databind:2.13.5=modelcheckBackend
 com.fasterxml.jackson.dataformat:jackson-dataformat-xml:2.13.5=modelcheckBackend
 com.fasterxml.jackson:jackson-bom:2.13.5=modelcheckBackend
 com.fasterxml.woodstox:woodstox-core:6.4.0=modelcheckBackend
-com.jetbrains.jdk:jbr_jcef:17.0.8.1-b1000.32=jbrLinux,jbrMac,jbrWin
+com.jetbrains.jdk:jbr_jcef:17.0.11-b1207.30=jbrLinux,jbrMac,jbrWin
 com.jetbrains:mps:2024.1.1=mps
 com.mbeddr:platform:2024.1.24974.4be9b18=languageLibs
 com.xenomachina:kotlin-argparser:2.0.7=executeBackend,generateBackend,modelcheckBackend,remigrateBackend