Name: joT67522 Date: 10/13/97


Now that you've (correctly) made GMT a constant timezone, you need a new zone for UK
 civil time which _does_ have DST.
At present, a Solaris JDK 1.1.4 system seems to assume that TZ=GB-Eire means GMT, which it doesn't.

Sample code:

--------8<--------
import java.util.*;
import java.text.DateFormat;

public class NoDST {
  public static void main(String[] args) {
    DateFormat df = DateFormat.getDateTimeInstance(DateFormat.LONG,
DateFormat.LONG);
    System.out.println(df.format(new Date()));
    df.setTimeZone(TimeZone.getDefault());
    System.out.println(df.format(new Date()));
    // This tries to implement the following lines from
    // /usr/share/lib/zoneinfo/europe:
    //# Rule NAME FROM TO TYPE IN ON AT SAVE LETTER/S
    //Rule GB-Eire 1981 max - Mar lastSun 1:00s 1:00 BST
    //Rule GB-Eire 1996 max - Oct lastSun 1:00s 0 GMT
    df.setTimeZone(new SimpleTimeZone(0, "GB-Eire",
Calendar.MARCH, -1, Calendar.SUNDAY,
3600000,
Calendar.OCTOBER, -1, Calendar.SUNDAY,
3600000));
    System.out.println(df.format(new Date()));
  }
}
--------->8--------
Demonstration:
---------8<--------
eddoe:~/tmp$ javac NoDST.java
eddoe:~/tmp$ echo $TZ
GB-Eire
eddoe:~/tmp$ java NoDST
October 13, 1997 1:01:32 PM PDT
October 13, 1997 8:01:32 PM GMT+00:00
October 13, 1997 9:01:32 PM GMT+01:00
eddoe:~/tmp$ date
Mon Oct 13 21:01:32 BST 1997
eddoe:~/tmp$ uname -a
SunOS eddoe 5.5 Generic sun4m sparc SUNW,SPARCstation-10
eddoe:~/tmp$
-------->8--------
This also demonstrates the continued wrong-ness of the default time zone for a DateFormat,
and what I believe to be a currently correct way of making a suitable TimeZone for the UK.


======================================================================