java - 来自属性文件的 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

有谁知道怎么可能做到这一点？