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

*** 225,243 ****
       */
      private static class ExecPermissionCollection
          extends PermissionCollection
          implements java.io.Serializable
      {
!         private Vector permissions;
  
          private static final long serialVersionUID = -3352558508888368273L;
  
          /**
           * Create an empty ExecPermissionCollection.
           */
          public ExecPermissionCollection() {
!             permissions = new Vector();
          }
  
          /**
           * Adds a permission to the collection.
           *
--- 225,243 ----
       */
      private static class ExecPermissionCollection
          extends PermissionCollection
          implements java.io.Serializable
      {
!         private Vector<Permission> permissions;
  
          private static final long serialVersionUID = -3352558508888368273L;
  
          /**
           * Create an empty ExecPermissionCollection.
           */
          public ExecPermissionCollection() {
!             permissions = new Vector<Permission>();
          }
  
          /**
           * Adds a permission to the collection.
           *
*** 272,285 ****
          public boolean implies(Permission permission)
          {
              if (! (permission instanceof ExecPermission))
                  return false;
  
!             Enumeration e = permissions.elements();
  
              while (e.hasMoreElements()) {
!                 ExecPermission x = (ExecPermission) e.nextElement();
                  if (x.implies(permission)) {
                      return true;
                  }
              }
              return false;
--- 272,285 ----
          public boolean implies(Permission permission)
          {
              if (! (permission instanceof ExecPermission))
                  return false;
  
!             Enumeration<Permission> e = permissions.elements();
  
              while (e.hasMoreElements()) {
!                 ExecPermission x = (ExecPermission)e.nextElement();
                  if (x.implies(permission)) {
                      return true;
                  }
              }
              return false;
*** 289,299 ****
           * Returns an enumeration of all the ExecPermission objects in the
           * container.
           *
           * @return an enumeration of all the ExecPermission objects.
           */
!         public Enumeration elements()
          {
              return permissions.elements();
          }
      }
  }
--- 289,299 ----
           * Returns an enumeration of all the ExecPermission objects in the
           * container.
           *
           * @return an enumeration of all the ExecPermission objects.
           */
!         public Enumeration<Permission> elements()
          {
              return permissions.elements();
          }
      }
  }