src/java.base/share/classes/java/util/PropertyPermission.java

*** 383,400 ****
      @Override
      public PermissionCollection newPermissionCollection() {
          return new PropertyPermissionCollection();
      }
  
! 
      private static final long serialVersionUID = 885438825399942851L;
  
      /**
       * WriteObject is called to save the state of the PropertyPermission
       * to a stream. The actions are serialized, and the superclass
       * takes care of the name.
       */
      private synchronized void writeObject(java.io.ObjectOutputStream s)
          throws IOException
      {
          // Write out the actions. The superclass takes care of the name
          // call getActions to make sure actions field is initialized
--- 383,401 ----
      @Override
      public PermissionCollection newPermissionCollection() {
          return new PropertyPermissionCollection();
      }
  
!     @java.io.Serial
      private static final long serialVersionUID = 885438825399942851L;
  
      /**
       * WriteObject is called to save the state of the PropertyPermission
       * to a stream. The actions are serialized, and the superclass
       * takes care of the name.
       */
+     @java.io.Serial
      private synchronized void writeObject(java.io.ObjectOutputStream s)
          throws IOException
      {
          // Write out the actions. The superclass takes care of the name
          // call getActions to make sure actions field is initialized
*** 405,414 ****
--- 406,416 ----
  
      /**
       * readObject is called to restore the state of the PropertyPermission from
       * a stream.
       */
+     @java.io.Serial
      private synchronized void readObject(java.io.ObjectInputStream s)
           throws IOException, ClassNotFoundException
      {
          // Read in the action, then initialize the rest
          s.defaultReadObject();
*** 594,603 ****
--- 596,606 ----
           * cannot be directly cast to Enumeration<Permission>
           */
          return (Enumeration)perms.elements();
      }
  
+     @java.io.Serial
      private static final long serialVersionUID = 7015263904581634791L;
  
      // Need to maintain serialization interoperability with earlier releases,
      // which had the serializable field:
      //
*** 623,632 ****
--- 626,636 ----
      /*
       * Writes the contents of the perms field out as a Hashtable for
       * serialization compatibility with earlier releases. all_allowed
       * unchanged.
       */
+     @java.io.Serial
      private void writeObject(ObjectOutputStream out) throws IOException {
          // Don't call out.defaultWriteObject()
  
          // Copy perms into a Hashtable
          Hashtable<String, Permission> permissions =
*** 642,651 ****
--- 646,656 ----
  
      /*
       * Reads in a Hashtable of PropertyPermissions and saves them in the
       * perms field. Reads in all_allowed.
       */
+     @java.io.Serial
      private void readObject(ObjectInputStream in)
          throws IOException, ClassNotFoundException
      {
          // Don't call defaultReadObject()