--- a/jdk/src/share/classes/java/sql/DriverManager.java Thu Aug 30 14:40:57 2012 -0700
+++ b/jdk/src/share/classes/java/sql/DriverManager.java Thu Aug 30 14:42:10 2012 -0700
@@ -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