Update other dependencies

build.gradle

@@ -4,7 +4,7 @@ plugins {
 	id 'jacoco'
 	id "maven-publish"
 	id "signing"
-	id "de.undercouch.download" version "5.0.2"
+	id "de.undercouch.download" version "5.4.0"
 }
 
 project.version = '1.0.5-SNAPSHOT'
@@ -31,7 +31,7 @@ def tlatools_version = '1.0.2'
 
 dependencies {
 	//implementation(group: 'com.microsoft', name: 'tla2tools', version: '1.4.6')
-	implementation(group: 'commons-cli', name: 'commons-cli', version: '1.2')
+	implementation(group: 'commons-cli', name: 'commons-cli', version: '1.5.0')
 	implementation(group: 'de.hhu.stups', name: 'tlatools', version: tlatools_version)
 
 	implementation(group: 'de.hhu.stups', name: 'prologlib', version: parser_version)
@@ -41,7 +41,7 @@ dependencies {
 
 	//implementation(group: 'de.hhu.stups', name: 'de.prob.core.kernel', version: '2.0.0-milestone-13-SNAPSHOT')
 
-	testImplementation(group: 'junit', name: 'junit', version: '4.12')
+	testImplementation(group: 'junit', name: 'junit', version: '4.13.2')
 	testImplementation(group: 'de.hhu.stups', name: 'tla2bAST', version: '1.1.3')
 }