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

@@ -158,11 +158,11 @@
     public ClassPath getClassPath() {
         return binaryPath;
     }
 
     /** list of generated source files created in this environment */
-    private Vector<File> generatedFiles = new Vector<>();
+    private Vector generatedFiles = new Vector();
 
     /**
      * Remember a generated source file generated so that it
      * can be removed later, if appropriate.
      */

@@ -175,13 +175,13 @@
      * of this environment (those that have been registered with the
      * "addGeneratedFile" method).
      */
     public void deleteGeneratedFiles() {
         synchronized(generatedFiles) {
-            Enumeration<File> enumeration = generatedFiles.elements();
+            Enumeration enumeration = generatedFiles.elements();
             while (enumeration.hasMoreElements()) {
-                File file = enumeration.nextElement();
+                File file = (File) enumeration.nextElement();
                 file.delete();
             }
             generatedFiles.removeAllElements();
         }
     }