--- old/src/java.base/share/classes/java/util/Properties.java	2019-08-27 17:29:09.834324386 -0700
+++ new/src/java.base/share/classes/java/util/Properties.java	2019-08-27 17:29:09.658324386 -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();