Fixes the random port setup for following tests

While running on Windows, the random port generated for this test case, e.g. 54320,
is taken up for all other tests running AFTER this one.
That clashes with TestHTTPConfigSourceProvider who gives you erroneously 8181.

extensions/vertx-http/deployment/src/test/java/io/quarkus/vertx/http/RandomPortTest.java

@@ -7,6 +7,7 @@
 import org.jboss.shrinkwrap.api.ShrinkWrap;
 import org.jboss.shrinkwrap.api.asset.StringAsset;
 import org.jboss.shrinkwrap.api.spec.JavaArchive;
+import org.junit.jupiter.api.AfterAll;
 import org.junit.jupiter.api.Test;
 import org.junit.jupiter.api.extension.RegisterExtension;
 
@@ -31,4 +32,9 @@ public void portShouldNotBeZero() {
         assertThat(url.getPort()).isNotZero();
     }
 
+    @AfterAll
+    public static void teardown() {
+        System.clearProperty("quarkus.http.test-port");
+    }
+
 }