diff --git a/core/codegen/vdm2jml-runtime/pom.xml b/core/codegen/vdm2jml-runtime/pom.xml index d9332645d5..77a50f434e 100644 --- a/core/codegen/vdm2jml-runtime/pom.xml +++ b/core/codegen/vdm2jml-runtime/pom.xml @@ -16,7 +16,7 @@ junit junit - 4.11 + 4.13.1 org.overturetool.core.codegen