--- old/src/java.base/share/classes/java/util/InvalidPropertiesFormatException.java	2019-08-27 17:29:03.986324386 -0700
+++ new/src/java.base/share/classes/java/util/InvalidPropertiesFormatException.java	2019-08-27 17:29:03.818324386 -0700
@@ -45,6 +45,7 @@
 
 public class InvalidPropertiesFormatException extends IOException {
 
+    @java.io.Serial
     private static final long serialVersionUID = 7763056076009360219L;
 
     /**
@@ -74,6 +75,7 @@
      * Throws NotSerializableException, since InvalidPropertiesFormatException
      * objects are not intended to be serializable.
      */
+    @java.io.Serial
     private void writeObject(java.io.ObjectOutputStream out)
         throws NotSerializableException
     {
@@ -84,6 +86,7 @@
      * Throws NotSerializableException, since InvalidPropertiesFormatException
      * objects are not intended to be serializable.
      */
+    @java.io.Serial
     private void readObject(java.io.ObjectInputStream in)
         throws NotSerializableException
     {