chore(deps): update dependency org.mongodb:mongodb-driver-sync to v5.3.1

Author: renovate[bot]

gradle/libs.versions.toml

@@ -100,7 +100,7 @@ logback = "ch.qos.logback:logback-classic:1.5.16"
 mapsforge = "org.mapsforge:mapsforge-map-awt:0.21.0"
 miglayout-swing = "com.miglayout:miglayout-swing:11.4.2"
 mockito-core = { module = "org.mockito:mockito-core", version.ref = "mockito" }
-mongodb = "org.mongodb:mongodb-driver-sync:5.3.0"
+mongodb = "org.mongodb:mongodb-driver-sync:5.3.1"
 oxygen-icons = "net.anwiba.commons.swing.icons:org.oxygen.oxygen-icons:4.13.0-1.2.50"
 protelis-interpreter = { module = "org.protelis:protelis-interpreter", version.ref = "protelis" }
 protelis-lang = { module = "org.protelis:protelis-lang", version.ref = "protelis" }