#P mauve
Index: gnu/testlet/java/text/SimpleDateFormat/getDateFormatSymbols.java
===================================================================
RCS file: /cvs/mauve/mauve/gnu/testlet/java/text/SimpleDateFormat/getDateFormatSymbols.java,v
retrieving revision 1.1
diff -u -r1.1 getDateFormatSymbols.java
--- gnu/testlet/java/text/SimpleDateFormat/getDateFormatSymbols.java	11 Nov 2004 09:37:20 -0000	1.1
+++ gnu/testlet/java/text/SimpleDateFormat/getDateFormatSymbols.java	13 Jul 2007 20:16:01 -0000
@@ -28,6 +28,7 @@
 import java.text.SimpleDateFormat;
 import java.util.Date;
 import java.util.Locale;
+import java.util.TimeZone;
 
 /**
  * Some checks for the getDateFormatSymbols() method in the SimpleDateFormat
@@ -47,6 +48,7 @@
     // symbols, so updating them should not affect the results of the
     // date formatter...
     SimpleDateFormat sdf = new SimpleDateFormat("E", Locale.UK);
+    sdf.setTimeZone(TimeZone.getTimeZone("UTC"));
     Date jan1_2005 = new Date(1104537600000L);
     harness.check(sdf.format(jan1_2005), "Sat");
     DateFormatSymbols s = sdf.getDateFormatSymbols();