Use the 24-hour time format for TSTAMP. Otherwise, TSTAMP will be set to
0722 at 7:22PM.
diff jakarta-ant\src\main\org\apache\tools\ant\taskdefs\Tstamp.java
cvs diff: warning: unrecognized response `cvs: setgroups: Operation not
permitte
d' from cvs server
Index: jakarta-ant/src/main/org/apache/tools/ant/taskdefs/Tstamp.java
===================================================================
RCS file:
/home/cvspublic/jakarta-ant/src/main/org/apache/tools/ant/taskdefs/Tst
amp.java,v
retrieving revision 1.2
diff -r1.2 Tstamp.java
78c78
< SimpleDateFormat tstamp = new SimpleDateFormat ("hhmm");
---
> SimpleDateFormat tstamp = new SimpleDateFormat ("HHmm");
