use a random PostgreSQL Dev Service port

Author: ThoSap

src/main/resources/application-test.yml

@@ -1,7 +1,4 @@
 quarkus:
-  datasource:
-    devservices:
-      port: 5433
   operator-sdk:
     activate-leader-election-for-profiles:
       - test

src/test/java/it/aboutbits/postgresql/_support/testdata/persisted/Given.java

@@ -9,6 +9,8 @@
 import org.eclipse.microprofile.config.inject.ConfigProperty;
 import org.jspecify.annotations.NullMarked;
 
+import java.net.URI;
+
 @NullMarked
 @ApplicationScoped
 @RequiredArgsConstructor
@@ -21,12 +23,12 @@ public class Given {
     @ConfigProperty(name = "quarkus.datasource.devservices.password")
     String password;
 
-    @ConfigProperty(name = "quarkus.datasource.devservices.port")
-    Integer port;
+    @ConfigProperty(name = "quarkus.datasource.jdbc.url")
+    String jdbcUrl;
 
     DBConnectionDetails dbConnectionDetails() {
         return new DBConnectionDetails(
-                port,
+                parsePortFromJdbcUrl(jdbcUrl),
                 username,
                 password
         );
@@ -85,4 +87,12 @@ public record DBConnectionDetails(
             String password
     ) {
     }
+
+    private int parsePortFromJdbcUrl(String url) {
+        // Typical format: jdbc:postgresql://localhost:5432/db
+        // We strip "jdbc:" so URI.create can handle the "postgresql://..." part
+        return URI.create(
+                url.replace("jdbc:", "")
+        ).getPort();
+    }
 }