--- jsr166/src/main/java/util/Vector.java	2019/05/22 17:36:58	1.55
+++ jsr166/src/main/java/util/Vector.java	2019/08/30 18:05:39	1.56
@@ -124,6 +124,7 @@ public class Vector<E>
     protected int capacityIncrement;
 
     /** use serialVersionUID from JDK 1.0.2 for interoperability */
+    // OPENJDK @java.io.Serial
     private static final long serialVersionUID = -2767605614048989439L;
 
     /**
@@ -1157,6 +1158,7 @@ public class Vector<E>
      * @throws ClassNotFoundException if the stream contains data
      *         of a non-existing class
      */
+    // OPENJDK @java.io.Serial
     private void readObject(ObjectInputStream in)
             throws IOException, ClassNotFoundException {
         ObjectInputStream.GetField gfields = in.readFields();
@@ -1178,6 +1180,7 @@ public class Vector<E>
      * @param s the stream
      * @throws java.io.IOException if an I/O error occurs
      */
+    // OPENJDK @java.io.Serial
     private void writeObject(java.io.ObjectOutputStream s)
             throws java.io.IOException {
         final java.io.ObjectOutputStream.PutField fields = s.putFields();