ant - ant tstamp 模式的问题 - 总是前导 0

Question

看看我的 ant 脚本的以下部分：

<tstamp>
    <format property="SHORT_DAY" pattern="d MMM yyyy"/>
    <format property="SHORT_DAY_FORMATTED" pattern="d MMM yyyy"/>
</tstamp>

<echo message="${SHORT_DAY}"/>
<echo message="${SHORT_DAY_FORMATTED}"/>

今天是 2013 年 1 月 4 日，所以我希望输出是：

 [echo] 4 Jan 2013
 [echo] 4 Jan, 2013

但事实并非如此。我得到的是：

 [echo] 04 Jan 2013
 [echo] 4 Jan, 2013

注意第一个回显中的前导 0。出于某种原因，ant 总是用前导零来打印它。这两个属性之间的唯一区别是月份和年份之间有一个逗号。

有谁知道这是怎么回事，更重要的是，如何阻止领先的 0？

蚂蚁版本是 1.7.0

Answer 1

事实证明，我之前在 ant 文件中定义了 SHORT_DAY（是的，它是一个大文件！）

<format property="SHORT_DAY" pattern="dd MMM yyyy"/>

而且由于 ANT 不允许您覆盖属性，因此我的第二个定义（我希望使用的那个）被忽略了。

把它归结为另一个人为错误的案例:(