toGMTString() on 30 day month

I'm seeing a possible problem with Date.toGMTString() on a 30 day month with
a time zone other than GMT; the string is output with a 31st day.

With my TINI 1.12 time zone set to PST and a local date of 04/30/2004
22:00:00 (i.e. date 04302004220000 PST), the following code produces a
string with 31 days in April:

Date date = new Date(System.currentTimeMillis());
System.out.println(date.toGMTString());

The output is "31 Apr 2004 05:00:00 GMT" instead of "01 May 2004 05:00:00
GMT". Is this a known issue?

Thanks -- Joel
_______________________________________________
TINI mailing list
TINI-6tN4nzCoH/[email protected]
To UNSUBSCRIBE, edit your profile, or see list archives:
http://lists.dalsemi.com/mailman/listinfo/tini