--- a/jdk/test/java/util/TimeZone/Bug6912560.java	Thu Nov 29 14:43:46 2012 -0800
+++ b/jdk/test/java/util/TimeZone/Bug6912560.java	Fri Nov 30 08:17:02 2012 +0100
@@ -40,6 +40,9 @@
         // set the user.timezone property
         String tzname = "Asia/Tokyo";
         System.setProperty("user.timezone", tzname);
+        // make sure the timezone will be initialized by
+        // the next call to TimeZone.getDefault()
+        TimeZone.setDefault(null);
 
         System.setSecurityManager(new SecurityManager());
         TimeZone tz = TimeZone.getDefault();