From 796018b2fd001c7cc4cc5918db4b10c8afdc0745 Mon Sep 17 00:00:00 2001 From: Alexander Pann Date: Mon, 18 Nov 2024 11:40:04 +0100 Subject: [PATCH] update the JBR --- build.gradle.kts | 2 +- gradle.lockfile | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/build.gradle.kts b/build.gradle.kts index 34a4765f..59a776a6 100644 --- 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 index 08f58d52..1d1e9613 100644 --- 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