Patch looks good.
Was looking at this because Java (yes I know but...) thinks that
Europe/London Sun Oct 31 01:59:59 1971 UT
Is the following in Europe/London...
1971-10-31 02:59:59 GMT (+0100)
Using SimpleDateFormat("yyyy-MM-dd HH:mm:ss z (ZZZZ)");
... some sort of new definition of GMT...