--- a/src/java.base/share/classes/java/util/Properties.java	Thu Aug 29 18:52:30 2019 -0400
+++ b/src/java.base/share/classes/java/util/Properties.java	Thu Aug 29 16:31:34 2019 -0700
@@ -142,6 +142,7 @@
     /**
      * use serialVersionUID from JDK 1.1.X for interoperability
      */
+    @java.io.Serial
     private static final long serialVersionUID = 4112578634029874840L;
 
     private static final Unsafe UNSAFE = Unsafe.getUnsafe();