# HG changeset patch
# User weijun
# Date 1353033254 -28800
# Node ID 01a2a198d9ca77d9a0dec685e71b386155e8aefd
# Parent  4358b75583be386ab4afa0450160d42be9daa7a7
8003263: redundant cast build failure after 8003120
Reviewed-by: alanb

diff -r 4358b75583be -r 01a2a198d9ca jdk/src/share/classes/com/sun/naming/internal/ResourceManager.java
--- a/jdk/src/share/classes/com/sun/naming/internal/ResourceManager.java	Thu Nov 15 13:46:45 2012 +0000
+++ b/jdk/src/share/classes/com/sun/naming/internal/ResourceManager.java	Fri Nov 16 10:34:14 2012 +0800
@@ -560,8 +560,7 @@
                     }
                 } finally {
                     while (resources.hasMore()) {
-                        InputStream istream = (InputStream)resources.next();
-                        istream.close();
+                        resources.next().close();
                     }
                 }