How to (correctly) report timezone using String.format %tz?
<p>If I execute:</p>

<pre><code>System.out.println("Formatter: " + String.format("%1$tH:%1$tM:%1$tS %1$tz %1$tZ", now));
System.out.println("SimpleDF : " + new SimpleDateFormat("HH:mm:ss Z z").format(now));
</code></pre>

<p>I expect the result to be the same. If I check the automatically adjust for daylight savings time the values start to vary:</p>

<pre>
without dst (as expected, gmt=9:48):
Formatter: 10:48:16 +0100 GMT+01:00
SimpleDF : 10:48:16 +0100 GMT+01:00
with dst (gmt varies between formatter and sdf ???):
Formatter: 11:47:54 +0100 CEST
SimpleDF : 11:47:54 +0200 CEST
</pre>

<p>Running on win xp, with same results on java 1.6-10/13 and 1.5.0-14, locale en_US. What do you think, a bug?</p>

<p>Perhaps related: <a href="http://bugs.sun.com/view_bug.do?bug_id=6286592" rel="nofollow">http://bugs.sun.com/view_bug.do?bug_id=6286592</a>. </p>
