diff -ur mauve.clean/ChangeLog mauve.work/ChangeLog
--- mauve.clean/ChangeLog	2004-10-08 23:21:23.226938531 +0200
+++ mauve.work/ChangeLog	2004-10-08 23:27:54.473432497 +0200
@@ -1,3 +1,8 @@
+2004-10-08  Noa Resare  <noa@resare.com>
+
+	* gnu/testlet/java/util/SimpleTimeZone/check12.java:
+	moved from localedependant DateFormat to SimpleDateFormat
+
 2004-10-07  Noa Resare  <noa@resare.com>
 
 	* gnu/testlet/java/net/DatagramPacket/DatagramPacketTest2.java
diff -ur mauve.clean/gnu/testlet/java/util/SimpleTimeZone/check12.java mauve.work/gnu/testlet/java/util/SimpleTimeZone/check12.java
--- mauve.clean/gnu/testlet/java/util/SimpleTimeZone/check12.java	2004-10-08 23:08:29.553739970 +0200
+++ mauve.work/gnu/testlet/java/util/SimpleTimeZone/check12.java	2004-10-08 23:26:02.254778854 +0200
@@ -138,11 +138,8 @@
     // PR libgcj/8321
     Date date = new Date(1034705556525l);
     TimeZone zone  = TimeZone.getTimeZone("EST");
-    DateFormat dateFormat = DateFormat.getDateTimeInstance(
-                        DateFormat.SHORT,
-                        DateFormat.LONG,
-                        Locale.getDefault());
+    DateFormat dateFormat = new SimpleDateFormat("yyyy-MM-dd HH:mm:ss z");
     dateFormat.setTimeZone(zone);
-    harness.check("10/15/2002 2:12:36 PM EDT", dateFormat.format(date));
+    harness.check("2002-10-15 14:12:36 EDT", dateFormat.format(date));
   }
 }