update dependencies

build.gradle

@@ -26,18 +26,18 @@ configurations.all {
 	resolutionStrategy.cacheChangingModulesFor 0, 'seconds'
 }
 
-def parser_version = '2.13.5'
+def parser_version = '2.13.6-SNAPSHOT'
 
 dependencies {
 	//implementation(group: 'com.microsoft', name: 'tla2tools', version: '1.4.6')
-	implementation(group: 'commons-cli', name: 'commons-cli', version: '1.8.0')
+	implementation(group: 'commons-cli', name: 'commons-cli', version: '1.9.0')
 	implementation(group: 'de.hhu.stups', name: 'tlatools', version: '1.1.0')
 
 	implementation(group: 'de.hhu.stups', name: 'bparser', version: parser_version)
 	implementation(group: 'de.hhu.stups', name: 'ltlparser', version: parser_version)
 
 	testImplementation(group: 'junit', name: 'junit', version: '4.13.2')
-	testImplementation(group: 'de.hhu.stups', name: 'tla2bAST', version: '1.4.0')
+	testImplementation(group: 'de.hhu.stups', name: 'tla2bAST', version: '1.4.1-SNAPSHOT')
 }
 
 java {