You can set the format of a timestamp as follows:

 <tstamp>
  <format pattern="yyyy-MM-dd-HH-mm-ss" property="TIME_STAMP"/>
 </tstamp>

And then echo it as a ${TIME_STAMP}.

The format is the same as Java’s.