Migrate to Vert.x 5 APIs and bump Kotlin to 2.3.0-RC2 to support Java 25

Author: ShreckYe

frameworks/Kotlin/vertx-web-kotlinx/build.gradle.kts

@@ -3,7 +3,7 @@ tasks.wrapper {
 }
 
 plugins {
-    val kotlinVersion = "2.2.21"
+    val kotlinVersion = "2.3.0-RC2"
     kotlin("jvm") version kotlinVersion
     kotlin("plugin.serialization") version kotlinVersion
     application
@@ -34,6 +34,6 @@ dependencies {
     implementation("org.jetbrains.kotlinx:kotlinx-datetime:0.7.1") // TODO try using this in the code
 }
 
-kotlin.jvmToolchain(21) // Kotlin doesn't support Java 25 yet
+kotlin.jvmToolchain(25) // Kotlin doesn't support Java 25 yet
 
 application.mainClass.set("MainKt")

frameworks/Kotlin/vertx-web-kotlinx/src/main/kotlin/Main.kt

@@ -3,6 +3,7 @@ import io.vertx.core.impl.cpu.CpuCoreSensor
 import io.vertx.kotlin.core.deploymentOptionsOf
 import io.vertx.kotlin.core.vertxOptionsOf
 import io.vertx.kotlin.coroutines.coAwait
+import java.util.function.Supplier
 import java.util.logging.Logger
 
 const val SERVER_NAME = "Vert.x-Web Kotlinx Benchmark server"
@@ -18,7 +19,9 @@ suspend fun main(args: Array<String>) {
         logger.info("Vertx exception caught: $it")
         it.printStackTrace()
     }
-    vertx.deployVerticle({ MainVerticle(hasDb) }, deploymentOptionsOf(instances = CpuCoreSensor.availableProcessors()))
-        .coAwait()
+    vertx.deployVerticle(
+        Supplier { MainVerticle(hasDb) },
+        deploymentOptionsOf(instances = CpuCoreSensor.availableProcessors())
+    ).coAwait()
     logger.info("$SERVER_NAME started.")
 }

frameworks/Kotlin/vertx-web-kotlinx/src/main/kotlin/VertxCoroutine.kt

@@ -2,4 +2,4 @@ import io.vertx.core.Future
 import io.vertx.kotlin.coroutines.coAwait
 
 suspend fun <T> List<Future<T>>.awaitAll(): List<T> =
-    Future.all(this).coAwait().list()
+    Future.all<T>(this).coAwait().list()