--- old/src/java.base/share/classes/java/io/EOFException.java	2019-08-27 17:26:47.386324386 -0700
+++ new/src/java.base/share/classes/java/io/EOFException.java	2019-08-27 17:26:47.198324386 -0700
@@ -40,6 +40,7 @@
  */
 public
 class EOFException extends IOException {
+    @java.io.Serial
     private static final long serialVersionUID = 6433858223774886977L;
 
     /**