< prev index next >
src/com/sun/javatest/agent/AgentManager.java
Print this page
rev 145 : 7902237: Fixing raw use of parameterized class
Reviewed-by: jjg
@@ -534,12 +534,12 @@
log.flush();
ref.flush();
// might be better not to flush these ...
- for (Enumeration e = zips.keys(); e.hasMoreElements(); ) {
- File f = (File)(e.nextElement());
+ for (Enumeration<File> e = zips.keys(); e.hasMoreElements(); ) {
+ File f = (e.nextElement());
ZipFile z = zips.get(f);
zips.remove(f);
z.close();
}
< prev index next >