--- old/src/java.base/share/classes/java/io/OptionalDataException.java	2019-08-27 17:26:55.110324386 -0700
+++ new/src/java.base/share/classes/java/io/OptionalDataException.java	2019-08-27 17:26:54.874324386 -0700
@@ -47,6 +47,7 @@
  */
 public class OptionalDataException extends ObjectStreamException {
 
+    @java.io.Serial
     private static final long serialVersionUID = -8011121865681257820L;
 
     /*