Spring Security 3.2.0端口从属性文件映射

Question

我有一个关于Spring Security 3.2.0以及如何从属性文件修改端口映射的问题。

安全配置的架构仅允许http和https属性的整数。

<port-mappings>
<port-mapping http="8090" https="9443" />
</port-mappings> 

但是，如果我们可以将此配置外部化为属性文件，那将是很好的：

<security:port-mappings>
<security:port-mapping http="${http.port}" https="${https.port}"/>
</security:port-mappings>

port.properties
---------------------
http.port=8090
https.port=9443

任何人都知道如何做到这一点？