update dependencies

versions.properties

@@ -3,34 +3,24 @@
 ## Dependencies and Plugin versions with their available updates
 ## Generated by $ ./gradlew refreshVersions
 ## Please, don't put extra comments in that file yet, keeping them is not supported yet.
-
 plugin.com.github.johnrengelman.shadow=7.1.0
-
 plugin.org.danilopianini.git-sensitive-semantic-versioning=0.3.0
-
-plugin.org.jetbrains.kotlin.jvm=version.kotlin
-
 plugin.org.jetbrains.dokka=1.5.31
-
+plugin.org.jetbrains.kotlin.jvm=version.kotlin
 version.ch.qos.logback..logback-classic=1.2.6
-
+##                          # available=1.2.7
+##                          # available=1.3.0-alpha10
 version.com.fasterxml.jackson.core..jackson-core=2.13.0
-
 version.com.fasterxml.jackson.dataformat..jackson-dataformat-xml=version.com.fasterxml.jackson.core..jackson-core
-
 version.com.fasterxml.jackson.dataformat..jackson-dataformat-yaml=version.com.fasterxml.jackson.core..jackson-core
-
 version.com.fasterxml.jackson.datatype..jackson-datatype-jsr310=version.com.fasterxml.jackson.core..jackson-core
-
 version.com.github.ajalt..clikt=2.8.0
 
 version.com.github.tony19..named-regexp=0.2.6
-
-version.commons-cli..commons-cli=1.4
+version.commons-cli..commons-cli=1.5.0
 
 version.io.vertx..vertx-core=3.9.2
-##               # available=4.1.5
-##               # available=4.2.0.CR1
+##               # available=4.2.1
 
 version.io.vertx..vertx-unit=version.io.vertx..vertx-core
 
@@ -41,8 +31,7 @@ version.io.vertx..vertx-web-client=version.io.vertx..vertx-core
 version.it.unibo.tuprolog..parser-core-jvm=version.it.unibo.tuprolog..theory-jvm
 
 version.it.unibo.tuprolog..serialize-core-jvm=version.it.unibo.tuprolog..theory-jvm
-
-version.it.unibo.tuprolog..theory-jvm=0.20.2
+version.it.unibo.tuprolog..theory-jvm=0.20.4
 
 version.junit.junit=4.13.2