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

rev 145 : 7902237: Fixing raw use of parameterized class
Reviewed-by: jjg

*** 534,545 ****
  
              log.flush();
              ref.flush();
  
              // might be better not to flush these ...
!             for (Enumeration e = zips.keys(); e.hasMoreElements(); ) {
!                 File f = (File)(e.nextElement());
                  ZipFile z = zips.get(f);
                  zips.remove(f);
                  z.close();
              }
  
--- 534,545 ----
  
              log.flush();
              ref.flush();
  
              // might be better not to flush these ...
!             for (Enumeration<File> e = zips.keys(); e.hasMoreElements(); ) {
!                 File f = (e.nextElement());
                  ZipFile z = zips.get(f);
                  zips.remove(f);
                  z.close();
              }