--- 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();
}
}