Generate unused port numbers for JBoss using Groovy script

build.sh

@@ -0,0 +1,16 @@
+#!/bin/bash -e
+
+eval $(etc/scripts/allocate-ports \
+  JBOSS_MANAGEMENT_NATIVE_PORT \
+  JBOSS_MANAGEMENT_HTTP_PORT \
+  JBOSS_MANAGEMENT_HTTPS_PORT \
+  JBOSS_AJP_PORT \
+  JBOSS_HTTP_PORT \
+  JBOSS_HTTPS_PORT \
+  JBOSS_OSGI_PORT \
+  JBOSS_REMOTING_PORT \
+  JBOSS_TXN_RECOVERY_PORT \
+  JBOSS_TXN_STATUS_PORT \
+  SMTP_PORT \
+)
+exec mvn "$@"

etc/scripts/allocate-ports

@@ -0,0 +1,16 @@
+#!/bin/env groovy
+
+Map ports = [:]
+List sockets = new ArrayList()
+try {
+    for(String name: args) {
+        def s = new ServerSocket(0)
+        sockets.add(s)
+        ports[name] = s.localPort
+    }
+} finally {
+    sockets*.close()
+}
+
+ports.each { println "export ${it.key}=${it.value};" }
+return