src/share/classes/sun/rmi/rmic/BatchEnvironment.java

*** 158,168 ****
      public ClassPath getClassPath() {
          return binaryPath;
      }
  
      /** list of generated source files created in this environment */
!     private Vector generatedFiles = new Vector();
  
      /**
       * Remember a generated source file generated so that it
       * can be removed later, if appropriate.
       */
--- 158,168 ----
      public ClassPath getClassPath() {
          return binaryPath;
      }
  
      /** list of generated source files created in this environment */
!     private Vector<File> generatedFiles = new Vector<>();
  
      /**
       * Remember a generated source file generated so that it
       * can be removed later, if appropriate.
       */
*** 175,187 ****
       * of this environment (those that have been registered with the
       * "addGeneratedFile" method).
       */
      public void deleteGeneratedFiles() {
          synchronized(generatedFiles) {
!             Enumeration enumeration = generatedFiles.elements();
              while (enumeration.hasMoreElements()) {
!                 File file = (File) enumeration.nextElement();
                  file.delete();
              }
              generatedFiles.removeAllElements();
          }
      }
--- 175,187 ----
       * of this environment (those that have been registered with the
       * "addGeneratedFile" method).
       */
      public void deleteGeneratedFiles() {
          synchronized(generatedFiles) {
!             Enumeration<File> enumeration = generatedFiles.elements();
              while (enumeration.hasMoreElements()) {
!                 File file = enumeration.nextElement();
                  file.delete();
              }
              generatedFiles.removeAllElements();
          }
      }