--- old/src/java.base/share/classes/java/util/zip/DataFormatException.java	2019-08-27 17:29:19.410324386 -0700
+++ new/src/java.base/share/classes/java/util/zip/DataFormatException.java	2019-08-27 17:29:19.238324386 -0700
@@ -33,6 +33,7 @@
  */
 public
 class DataFormatException extends Exception {
+    @java.io.Serial
     private static final long serialVersionUID = 2219632870893641452L;
 
     /**