jdk/src/share/classes/java/sql/DriverManager.java
changeset 13660 bf59eb142ae2
parent 12885 30a5ef357cf1
child 14171 94eb36844bd7
--- a/jdk/src/share/classes/java/sql/DriverManager.java	Thu Aug 30 12:55:40 2012 +0100
+++ b/jdk/src/share/classes/java/sql/DriverManager.java	Thu Aug 30 13:38:03 2012 -0400
@@ -510,7 +510,7 @@
             public Void run() {
 
                 ServiceLoader<Driver> loadedDrivers = ServiceLoader.load(Driver.class);
-                Iterator driversIterator = loadedDrivers.iterator();
+                Iterator<Driver> driversIterator = loadedDrivers.iterator();
 
                 /* Load these drivers, so that they can be instantiated.
                  * It may be the case that the driver class may not be there