--- old/src/java.base/share/classes/java/util/PropertyPermission.java	2019-08-27 17:29:10.326324386 -0700
+++ new/src/java.base/share/classes/java/util/PropertyPermission.java	2019-08-27 17:29:10.158324386 -0700
@@ -385,7 +385,7 @@
         return new PropertyPermissionCollection();
     }
 
-
+    @java.io.Serial
     private static final long serialVersionUID = 885438825399942851L;
 
     /**
@@ -393,6 +393,7 @@
      * 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
     {
@@ -407,6 +408,7 @@
      * 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
     {
@@ -596,6 +598,7 @@
         return (Enumeration)perms.elements();
     }
 
+    @java.io.Serial
     private static final long serialVersionUID = 7015263904581634791L;
 
     // Need to maintain serialization interoperability with earlier releases,
@@ -625,6 +628,7 @@
      * serialization compatibility with earlier releases. all_allowed
      * unchanged.
      */
+    @java.io.Serial
     private void writeObject(ObjectOutputStream out) throws IOException {
         // Don't call out.defaultWriteObject()
 
@@ -644,6 +648,7 @@
      * 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
     {