No, hard coding 8080 is fine.

The handling of NODE0_ADDR needs fixing though. The string needs to be passed through a routine like org.jboss.as.network.NetworkUtils.formatPossibleIpv6Address(...) before it can be used in the URL at L53 below. We commonly configure CI runs to bind node0 to an IPv6 address.