I wanted to use property substitution with default values in server.xml,
for example I want to _optionally_ define a property server.ports.https
with default value 8443.

Putting ${server.ports.https:8443} in server.xml doesn't work even though the same syntax works elsewhere in jboss configuration files.

Is this a known thing/can anyone replicate the issue?