src/com/sun/javatest/agent/AgentManager.java

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