--- old/src/share/classes/com/sun/naming/internal/ResourceManager.java	2012-11-12 16:40:48.704275595 +0800
+++ new/src/share/classes/com/sun/naming/internal/ResourceManager.java	2012-11-12 16:40:48.512275603 +0800
@@ -560,7 +560,7 @@
                     }
                 } finally {
                     while (resources.hasMore()) {
-                        InputStream istream = (InputStream)resources.next();
+                        InputStream istream = resources.next();
                         istream.close();
                     }
                 }