src/java.base/share/classes/java/util/TreeSet.java
changeset 57956 e0b8b019d2f5
parent 57895 82a71d82e326
child 58679 9c3209ff7550
--- a/src/java.base/share/classes/java/util/TreeSet.java	Thu Aug 29 18:52:30 2019 -0400
+++ b/src/java.base/share/classes/java/util/TreeSet.java	Thu Aug 29 16:31:34 2019 -0700
@@ -492,6 +492,7 @@
      *             set's Comparator, or by the elements' natural ordering if
      *             the set has no Comparator).
      */
+    @java.io.Serial
     private void writeObject(java.io.ObjectOutputStream s)
         throws java.io.IOException {
         // Write out any hidden stuff
@@ -512,6 +513,7 @@
      * Reconstitute the {@code TreeSet} instance from a stream (that is,
      * deserialize it).
      */
+    @java.io.Serial
     private void readObject(java.io.ObjectInputStream s)
         throws java.io.IOException, ClassNotFoundException {
         // Read in any hidden stuff
@@ -554,5 +556,6 @@
         return TreeMap.keySpliteratorFor(m);
     }
 
+    @java.io.Serial
     private static final long serialVersionUID = -2479143000061671589L;
 }