jdk/src/share/classes/java/net/InetAddress.java
changeset 10882 7ddadf2b8b4c
parent 9775 1b128726e887
child 11119 6ff03c1202ce
--- a/jdk/src/share/classes/java/net/InetAddress.java	Tue Oct 25 09:27:20 2011 +0100
+++ b/jdk/src/share/classes/java/net/InetAddress.java	Wed Oct 26 13:58:46 2011 +0100
@@ -876,10 +876,12 @@
                 nameService = java.security.AccessController.doPrivileged(
                     new java.security.PrivilegedExceptionAction<NameService>() {
                         public NameService run() {
-                            Iterator itr = Service.providers(NameServiceDescriptor.class);
+                            // sun.misc.Service.providers returns a raw Iterator
+                            @SuppressWarnings("unchecked")
+                            Iterator<NameServiceDescriptor> itr =
+                                Service.providers(NameServiceDescriptor.class);
                             while (itr.hasNext()) {
-                                NameServiceDescriptor nsd
-                                    = (NameServiceDescriptor)itr.next();
+                                NameServiceDescriptor nsd = itr.next();
                                 if (providerName.
                                     equalsIgnoreCase(nsd.getType()+","
                                         +nsd.getProviderName())) {