Update beanshell to 2.0b6 which includes a fix for a security vulnera…

…bility
KeYProject · Oct 13, 2023 · 7f389a1 · 7f389a1
1 parent bf8cca5
commit 7f389a1
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/recoder/build.gradle b/recoder/build.gradle
@@ -1,10 +1,12 @@
 description "Fork of the Recoder -- a parser/ast for Java with extensions for KeY-Java dialects."
 
 def headerFile = "$rootDir/gradle/header-recoder"
-
+repositories {
+    mavenCentral()
+}
 dependencies {
     implementation 'org.ow2.asm:asm:9.6'
-    implementation 'org.beanshell:bsh:2.0b5'
+    implementation 'org.apache-extras.beanshell:bsh:2.0b6'
     implementation 'net.sf.retrotranslator:retrotranslator-runtime:1.2.9'
     implementation 'net.sf.retrotranslator:retrotranslator-transformer:1.2.9'
 }