--- old/src/java.base/share/classes/java/time/zone/ZoneRulesProvider.java	2015-04-22 17:44:01.807422985 -0700
+++ new/src/java.base/share/classes/java/time/zone/ZoneRulesProvider.java	2015-04-22 17:44:01.631422981 -0700
@@ -141,7 +141,7 @@
         // if the property java.time.zone.DefaultZoneRulesProvider is
         // set then its value is the class name of the default provider
         final List<ZoneRulesProvider> loaded = new ArrayList<>();
-        AccessController.doPrivileged(new PrivilegedAction<Object>() {
+        AccessController.doPrivileged(new PrivilegedAction<>() {
             public Object run() {
                 String prop = System.getProperty("java.time.zone.DefaultZoneRulesProvider");
                 if (prop != null) {