NumberFormatException during host-controller startup if the example of host.xml is used

If a host-controller should be started and connected do a remote domain-controller the example did not work.
<remote host="${jboss.domain.master.address}" port="${jboss.domain.master.port:9999}"/>

Nevertheless whether the properties are given or not the following exception occour:
[Host Controller] Caused by: java.lang.NumberFormatException: For input string: "${jboss.domain.master.port:9999}"
[Host Controller] at java.lang.NumberFormatException.forInputString(NumberFormatException.java:65) [:1.6.0_22]
[Host Controller] at java.lang.Integer.parseInt(Integer.java:470) [:1.6.0_22]
[Host Controller] at java.lang.Integer.valueOf(Integer.java:570) [:1.6.0_22]
[Host Controller] at org.jboss.as.host.controller.parsing.HostXml.parseRemoteDomainController(HostXml.java:756) [jboss-as-host-controller-7.1.0.Final-SNAPSHOT.jar:7.1.0.Final-SNAPSHOT]
[Host Controller] at org.jboss.as.host.controller.parsing.HostXml.parseDomainController(HostXml.java:716) [jboss-as-host-controller-7.1.0.Final-SNAPSHOT.jar:7.1.0.Final-SNAPSHOT]

The check of HostXml.parseRemoteDomainController checks hard whether the port is an Integer value