src/share/classes/com/sun/rmi/rmid/ExecPermission.java

@@ -225,19 +225,19 @@
      */
     private static class ExecPermissionCollection
         extends PermissionCollection
         implements java.io.Serializable
     {
-        private Vector permissions;
+        private Vector<Permission> permissions;
 
         private static final long serialVersionUID = -3352558508888368273L;
 
         /**
          * Create an empty ExecPermissionCollection.
          */
         public ExecPermissionCollection() {
-            permissions = new Vector();
+            permissions = new Vector<Permission>();
         }
 
         /**
          * Adds a permission to the collection.
          *

@@ -272,14 +272,14 @@
         public boolean implies(Permission permission)
         {
             if (! (permission instanceof ExecPermission))
                 return false;
 
-            Enumeration e = permissions.elements();
+            Enumeration<Permission> e = permissions.elements();
 
             while (e.hasMoreElements()) {
-                ExecPermission x = (ExecPermission) e.nextElement();
+                ExecPermission x = (ExecPermission)e.nextElement();
                 if (x.implies(permission)) {
                     return true;
                 }
             }
             return false;

@@ -289,11 +289,11 @@
          * Returns an enumeration of all the ExecPermission objects in the
          * container.
          *
          * @return an enumeration of all the ExecPermission objects.
          */
-        public Enumeration elements()
+        public Enumeration<Permission> elements()
         {
             return permissions.elements();
         }
     }
 }